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
clean up KRunModule / add comments
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
fix bug in merge that broke guice creation
Merge pull request #948 from dwightguth/tool

first steps towards a generic transformation pipeline for krun