kframework/k — pull request #1132 by cos (2014-10-29 21:40:14+00:00)
Title: Hotfix/rename k core to kernel

@dwightguth, let's make this in two steps. this is the k-core -> kernel rename