progress on unifying List and IntSeq
progress on unifying List and IntSeq
progress on replacing IntSeq with List
more progress

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java
minor

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/ConcreteCollectionVariable.java
some examples work with List instead of IntSeq
extracted SelectionGenerator to a new file
used NonACPatternMatcher for function evaluation
minor cleanup
fixed failing tests
minor refactoring
moved static helper methods out of PatternMatcher/NonACPatternMatcher
removed dead code
list examples work with List instead of IntSeq; progress on tree examples
fixed type errors due to multiple representation of builtin data structures
fixed failing tests
fixes #1047 : invalid --skip error output
remove legacy gappa code from framework: using z3 for floating point now
fixed existing cdd tests
added option --z3-timeout