Fix travis config: Update php version