HomeIsabelle/Phabricator

add option for parallel session builds