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
ScalaZ3 is specific per architecture
Update versions of ScalaZ3 to latest builds, for 32 and 64b
Fix interface of PrettyPrinter causing ScalaPrinter to fall-back
Proper hashing for records in codegen.

This commit introduces a proper hashCode function for case classes and
tuples used in codegen. It also changes the internal datastructure for
maps and sets from TreeX to HashX.
Use VanuatooDataGen: instrumenting/filtering data gen

- Activate through --cegis:vanuatoo
- Possibility to skip isomorphic models
- One pattern per conjunct
Improve Leon's parallel search

- Search tree can be iterated over in order
- Worker pool get displayed periodically when stuck
- Make sure global caches are concurrent
Upgrade to akka-actors 2.2.0, include configuration in the classpath
Add rule in --manual to close a branch
Reshape options, add debug sections, simplify reporters

- Debug sections can be toggled to enable detailled information
- Options can be explicitly turned off, --debug:options lists all
- Switch from multiple reporters to a single one to rule them all
- Turn cegis:gencalls on by default
Remove dependency mismatch warnings
Replacing empty finite sets should keep type information
New/Fixed testcases for oopsla
Add a couple of tests
Terminate more gracefully when manual serach is interrupted
Embed information about function closures within trees. Simpler phase.