Added added necessary sources and tests for insynth and condition abduction, and two synthesis rules (immediate and deferred instantiation)
Changes before the submission - DataGen, benchmarks, timeout checking
Added support for candidate ranking (for minimizing #evaluations)
More flexible variable refinement - direct field refinement, operator refinement
Changed checking for counterexample implications from verification to evaluation, added evaluation strategies (default and codegen), some heuristics, measurements
Changed the verification condition generation, mofidified filtered of candidates, implemented verifier timeout as evidence of validity
Refactored verifier into concrete and timeout one, added generation of input examples with fuzzying, expression filter detects according to expression structure, added some benchmarks for the paper
Refactoring and fixes for compliance with the rule framework (huge commit and subsequent fixes in the oopsla-artifact branch)
Refactored the condition abduction code, refactored InSynth code out of Leon, and added the InSynth core library, with substantial amount of fixing and clearning sources, tests, and testcases
Moved code to appropriate packages and formatted sources
Remove unused file, fix style
Introduce new solver combinators

- RewritingSolver
- DNFSolver
- UnrollingSolver
Re-introduce type hierarchy for solvers, simplify factories

Solvers wrap solvers or factories, depending on the needs.
Factories no longer wrap factories, except for the special case of
timeoutsolverfactories (it does it in a typesafe way though).

Fix TupleRewrite with new posts, fix ScopeSimplified, Fix pretty printer
Support for literal arrays
Do not register signal handlers when building options
Remove deprecated accesses, update scalaz3, improve cancellation
Rely on z3 being bundled now
Merge branch 'master' of git://github.com/epfl-lara/leon

Conflicts:
	src/main/scala/leon/plugin/CodeExtraction.scala
	unmanaged/64/scalaz3_2.10-2.0.jar