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

@tfoote @wjwwood Please review.
Both good points. Addressed in second commit.