changed vrep version in travis