Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. merged
2. proper names for multiple installations;
3. more phabricator setup;
4. proper service name (again): it is specific to each installation;
5. back to plain name, to have it accepted my mysql;
6. prefer system user setup, e.g. avoid occurrence on login screen;
7. more robust: install PHP daemon after Apache;
8. clarified name prefixes: global config always uses "isabelle-phabricator";
9. more phabricator setup;
10. more phabricator setup;
11. more phabricator setup;
12. support for system services;
13. more options;
14. support for Linux user management;