Setting php versions properly for travisCI