Gibraltar will remain British, but dual Gibraltarian-Spanish passport checks will be required for those arriving by air and sea, according to a new post-Brexit deal.