check php version before launching built-in servers
Fix travis before script