Rename to RobotOS in travis file