Correct php versions in .travis.yaml