Revert "Merge branch 'master' of https://github.com/kframework/k"

This reverts commit 38f399f1890e3a63e69b3a11bf6c9d8b119b1dbd, reversing
changes made to 3749c06eb9a68cd4b7a510678ec591476e639a63.