add convertors to pipeline... here it goes
slightly improve KILTransformation error reporting
implement KApp translation
KTokens become KTokens in KORE, not KApplys!
updated quick ktest
Merge branch 'feature/KORE-convertors' into feature/pipeline-integration
figured out reflective call reporting problem

it seems any exception is wrapped in an InvocatinTargetException if in a context of a reflective call
add cause
move convertors down
added context to KILtoKORE

+ TermComment, list terminals, and injected klabels
refactoring of the test infrastructure
add location retaining and fix several bugs
fix bugs
convertion for rule with non-rewrite body
fix test
KList is no longer a K, added a Top type
and for the fork
KList is no longer a K, added a Top type

Conflicts:
	kore/src/main/scala/org/kframework/kore/kast.scala
fixes some errors
Merge branch 'feature/pipeline-integration'

Conflicts:
	k-distribution/src/test/java/org/kframework/kore/convertors/BaseTest.java
	kernel/src/main/java/org/kframework/kore/convertors/KILTransformation.java
	kore/src/main/scala/org/kframework/Collection.scala
	kore/src/main/scala/org/kframework/kore/kast.scala
	kore/src/test/scala/org/kframework/kore/KoreTest.scala