add --use-ninja option to catkin_make(_isolated) to use ninja instead of make
Merge pull request #693 from ros/ninja

add --use-ninja option to catkin_make(_isolated) to use ninja instead of make