Make sure the current directory is not within the class path
Refactor reporters, allow positions which will get printed with lines
All-seeing synthesis with Oracles, library reorganisation

- NormalizationRule becomes priorities, so that we can have multiple
  distinct layers

- Use the @library annotation, move synthesis stuff to synthesis,
  Oracles.

- Make sure tests use PreprocessingPhase and import synthesis when
  adequate

- Extract proper package objects fix patternRecons and simplifiers

- Reorganize library:
  - leon.{choose,???} -> leon.lang.synthesis
  - leon.{waypoint,epsilon} -> leon.lang.xlang
Corrected some issues with termination proving.
Improve test reporting in case of fatal errors
Refactor tests to make them more stable
Actually add the files
Making sure all errors are kept
Fix bugs related to LetTuples not being handled
Add BinarySearchTree with isSorted and buggyMerge
New Ensuring/Require/Assert trees

- Ensurings/Require are now proper purescala trees
- Introduce Assert as a tree
- Simplify tactics to support arbitrary asserts/errors/inner ensurings
- New phase to inject assertions for unsafe calls (array/map access)
- Refactor Default and Induction tactic
Rework pretty-printers with interpolation magic
Fix printing bugs, add synthesis->print tests
doh
Fix withOracle and holes semantics, do not treat them as special trees
Update z3 which would hold on certain ADT definitions

More info at https://z3.codeplex.com/workitem/113
Add List.take and List.drop, unproven, for convenience in benchmarks
Fix annotation for Oracle
Proper ordering for positions
Proper handling of ASCII tables