Command line tools for working with catkin