Gibraltar to release Iran oil tanker-paper