Configure travis to use a catkin workspace