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

@tfoote @wjwwood Please review.