Thousands of Brits are set to head to Spain for the May half-term and summer holidays, and there are four vital documents to pack