Upgrade Leon to Scala 2.10.x

- Refactor code extraction
  - Standardize extractors
  - Fix type identification by resolving type aliases

- Redo reporter integration with Scalac
  - Fix relining to prevent bizarre compile-errors

- Refactor Pretty-Printers
  - Extensible class interface
  - Not returning mutable string-buffers anymore

- Fixes according to 2.10
    - 100% false warnings in Tests
    - imports for postfix-ops or implicits

- Upgrade ScalaZ3 to 2.10

- Upgrade Cafebabe to 2.10
Fix Scalaz3 library
New benchmark, and a fix in `DefaultEvaluator`.

The new benchmark is a Heap, straight from Okasaki's PhD thesis.
Currently the specification is very weak ("implements a set").
The fix is the addition of a missing case (SubsetOf) in the evaluator.
Fix 2.10 warnings in new benchmark
Decent interface for ScalaPrinter