ros/catkin — pull request #693 by dirk-thomas (2014-10-22 00:15:17+00:00)
Title: add --use-ninja option to catkin_make(_isolated) to use ninja instead of make

@tfoote @wjwwood Please review.