Libya: Flights diverted after rocket attack on Tripoli airport