Iran has released the British oil tanker which it seized shortly after Gibraltar seized an Iranian tanker.