first draft of ktest refactorings, might not pass tests yet
try to fix tests
fix checkstyle errors
fix test xml because it's apparently ridiculous
fix bug with =
Merge branch 'master' of github.com:kframework/k into ktest
Merge pull request #295 from dwightguth/ktest

Refactor ktest to clean up some irregularities