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
Introduce compilation units
Systematic treatment of Identifier/Definition owners
Introduce imports and packages. Introduce DefOps
Print full paths
Print units in separate files
Support for standalone objects
Support for looking up Definitions
Tests for Imports and DefOps
Handle imports during MethodLifting/RestoreMethods
Use searchByFullName during CodeExtraction
Implement maps for CVC4, now that it supports constant arrays

reactivate tests for CVC4, if available. Remove non-linear testcase that
worked only on z3 (SumAndMax)
Restore FunDef.orig