HomeIsabelle/Phabricator

added command hg_setup: setup remote vs. local Mercurial repository;