Ryanair and Amadeus hook up on ticketing ease