travis: something in gazebo3.1 broke --version, disabling for the time being