rename k-core to kernel

 - pom.xml files point to kernel instead of k-core
 - test-kompiled/marker contains text "marker" -- the issue here was actually that *-kompiled is gitignored
- JarInfo.java will be adapted to not depend on the .jar name (next commit)
JarInfo adaptation
also the kernel pom

this commit should work
add scala nature and files

 - add kore module to the mvn build system, make kernel (and only kernel) dependent on kore
 - add Scala KORE classes
kernel depends on kore
Update README.md
Revert "JarInfo adaptation"

This reverts commit 50eac19a6857662524860131dfea79601437f5dc.
the marker again
Merge branch 'hotfix/rename-k-core-to-kernel' into feature/scala-module
Merge pull request #1132 from cos/hotfix/rename-k-core-to-kernel

hotfix/rename k core to kernel
refactor io in smt prelude
Merge pull request #1129 from dwightguth/profiler

make profiler thread safe
Merge pull request #1130 from dwightguth/trie2

make klabel cache definition-specific
implemented [trusted] attribute for the ml prover
implemented basic AC-unification for BuiltinSet
evaluated the LHS of a rule as well
minor cleanup
Revert "evaluated the LHS of a rule as well"

This reverts commit e3dca7885d4b3e9927597dd6c55567d709c9223d.
added comment
Merge pull request #1137 from yilongli/prove-cil-list-reverse-2

patch in order to prove the entire cil list reverse example