Add specific rbx version to Travis CI config