Changes

Summary

1. merged
2. proper support for Windows/Cygwin;
3. updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
4. more checks;
5. merged
6. simplified complexity proofs. Increased precision of T_del_min_bound. (though T_del_min might be be missing a +1)
7. added missing +1 to T_insert (for function call)
8. merged
9. afford more reactive input;
10. more NEWS;
11. more documentation;
12. added action isabelle.goto-entity to follow links in a narrow formal sense;
13. tuned signature;
14. clarified select_entity (again): it is meant as approximation to "refactoring" and thus only makes sense for defs within the same buffer;
15. clarified caret focus modifier, depending on option "jedit_focus_modifier";
16. tuned;
17. tuned;
18. enabled FOOL for E
19. merged
20. tuned name generation in tptp to not depend on shadowing
21. tuned lambda translation for fool
22. generate unique variable names in tptp
23. proper handling of true and false in tptp
24. proper eta-expansion to avoid lambdas in tptp fool
25. proper proxification for fool + refactoring
26. proper renaming of THF_Lambda_Bool_Free
27. proper parsing of type encoding; tuned naming
28. proper handling of builtins in TFX
29. proper generation of TPTP output for higher order builtins
30. tuned