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
pass GlobalOptions.debug to KTestOptions.debug
when in verbose debug mode, pass --debug to spawned processes to print stack traces
improving last patch
fix a wrong condition
Merge remote-tracking branch 'upstream/master'