Changes

Summary

1. boot with Phabricator PHP daemon;
2. clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
3. disable lrzcloud1 -- superseded by lrzcloud2;
4. merged
5. replaced new type ('a,'b) tree by old type ('a*'b) tree.
6. more Phabricator configuration;