Fixing php versions in travis config