TravisCI: install php