Make sure Tegis is not even proposed when no test exists
Evaluate Pattern matching, matchToITE no longer necessary

More precise tracing, especially for in-IDE exploration of execution
Tracing now includes values for binders/patterns in MatchExpr
Rewrite tuples should fix types of errors
Base implementation of an SMTLib printer/solver
Improve/Fix SMTLib solvers

- Implement smt and smt-z3/smt-cvc4 as options for --solvers

- Uses a main solver sources for verification/CLP, taking into account
  --solvers

- Implement Z3-SMT sets

- Add tests for Z3-SMT
Support get-model for arrays in z3-smt
Unify and simplify function templates and unrolling banks

- Both Expr-based solvers and z3-based solvers rely on same template
  generation routines and unrolling strategy. Templates and unrolling
  bank is refactored in solvers.templates._

- Encoding is done through TemplateEncoder. Performance highly relies on
  an efficient TemplateEncoder.substitute() implementation.
Implement and test everything for smt-z3

 - Partial support for CVC4
Use most recent version of scala smt-lib

Update the build to reference the most recent version of
scala smt-lib and adapt the code to the new API.

Replace some use of NonStandardCommand by built-in standard
Commands of scala smt-lib.
Fix support with new SMT-Lib API (base + Z3)
Rework vcs output of SMT-Lib solvers
Allow symbolic/partial evaluation of tests

This is necessary to allow expressions in tests, such as List.::
Mute reporters, preventing spurious output while testing
Generate Sets as well
FiniteSets should hold Sets, otherwise {1,2} != {2,1}
Re-introduce secific CVC4 implementations, fix scala-smtlib
Remove no-warnings requirement from eval. test
Update Eclipse instructions
Add missing copyright notices