HomeIsabelle/Phabricator

include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";