Testing workspace for catkin tools make jobserver integration (https://github.com/catkin/catkin_tools/pull/85)