python-catkin-lint: binary-without-manpage usr/bin/catkin_lint
