The deal will mean no routine passport checks at the Spain-Gibraltar border for the 15,000 people who cross it every day.