make klabel cache definition-specific
make profiler thread safe
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
Revert "JarInfo adaptation"

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

hotfix/rename k core to kernel
fix issue with readResolve
Merge pull request #1129 from dwightguth/profiler

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

make klabel cache definition-specific