Britanija i EU formalno potpisale SPORAZUM o Gibraltaru, olakšavajući prelazak granice