Update PHP versions used by travis.