Changes

Summary

1. back to post-release mode -- after fork point;
2. tuned;
3. Added tag Isabelle2017-RC2 for changeset e9d8ff531700
4. tuned;
5. updated for release;
6. tuned headers;
7. Lawrence Paulson's contributions
8. merged
9. Correction of typos and a bit of streamlining
10. listed contribution
11. Simplicial complexes and triangulations; Baire Category Theorem
12. updated for release;
13. removed obsolete session
14. more robust backend identification
15. correctly locate SMBC from Nunchaku
16. added/updated components
17. tuned whitespace in Nunchaku output
18. eliminate artifact of translation in printed Nunchaku model
19. nicer numeral output for nats and ints in Nunchaku
20. rephrased error
21. tweaked Nunchaku bounds
22. speed up proofs slightly
23. use right attribute separator in Nunchaku
24. parse length-0 enums as well in Nunchaku
25. extended and renamed Nunchaku's Kodkod bounds
26. repaired Nunchaku cache handing
27. added Kodkod-specific options to Nunchaku
28. tuning
29. better model parsing and display in Nunchaku
30. properly parenthesize copy types in Nunchaku
31. proper Bash escaping
32. more precise output for Nunchaku
33. added singular 'solver' option to Nunchaku
34. got rid of unsound and needless beta-reduction in Nunchaku frontend
35. tuned Nunchaku's output
36. updated parser for Nunchaku irrelevant output
37. use proper syntax with nunchaku tool
38. moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years