first steps towards a generic transformation pipeline for krun
fix regression in textual output of search results
fix bug with repeated search results - use SortedSet
fix copyright
add javadoc
added list append and copy specification files
some primitive support for pattern folding
kernelc can translate lists and pointers to SMTLib; added support for lseg
fixed merge conflict
fixed merge error
list segment and sorting examples work
fixed simple examples; added all tests to config.xml
fixed test output
merged maven commit
minor fix
minor
remove leftover file
fixed failing tests
minor fix
Merge remote-tracking branch 'upstream/master'

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/1_simple/1_untyped/tests/config_verification.xml