move kernel to core  (del)
move kernel to core
move kernel to core
rename kernel to core
Merge branch 'master' of https://github.com/KleeGroup/vertigo