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
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
clean up KRunModule / add comments
pass --debug to ktest in verify phase
forgot to add --debug to arg list
improve ktest logs a bit (setting ground for --dry fix)
set workingDir in constructor
--dry is improved and --debug handling came for free
fix a bug
fix some warnings
Merge branch 'master' into tool

Conflicts:
	src/main/java/org/kframework/backend/maude/krun/MaudeExecutor.java
	src/main/java/org/kframework/kast/KastFrontEnd.java
	src/main/java/org/kframework/kompile/KompileFrontEnd.java
	src/main/java/org/kframework/krun/KRunFrontEnd.java
	src/main/java/org/kframework/ktest/KTestFrontEnd.java
	src/main/java/org/kframework/main/Main.java
	src/test/java/org/kframework/backend/java/symbolic/JavaSymbolicKRunModuleTest.java
	src/test/java/org/kframework/krun/KRunModuleTest.java
change some debug printing in java backend to print to stderr instead of stdout
fix bug in merge that broke guice creation