Changes

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;
15. merged
16. tuned
17. moved duplicate lemmas up the hierarchy
18. proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation
19. merged
20. removed redundant lemma
21. merged
22. add lemmas
23. refactor Approximation.thy to use more abstract type of intervals
24. moved theory Interval_Approximation from the AFP
25. moved theory Interval from the AFP
26. replace approximation oracle by less ad-hoc @{computation}s
27. tuned
28. merged
29. tuned
30. Merge and get rid of closed_segmentI
31. Moved or deleted some out of place material, also eliminating obsolete naming conventions
32. Line_Segment is independent of Convex_Euclidean_Space
33. the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike
34. betweenness is a property on line segments
35. reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space