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