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
Merge remote-tracking branch 'upstream/master'
z3 external process support
fixed pom
minor
minor