move Collections
import
move Collections to org.kframework.
Java-8-style interfaces for collections
formatting
move to right source folder
checkstyle
cleanup and an extra test
more tests
checkstyle fix
manipulating a KList
some fixes and more examples
fix toString
remove KString
add KString builtin
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