polishing exercises and their tests/cfgs
Merge branch 'master' of github.com:kframework/k
some more restructuring of tests in the tutorial
Merge branch 'master' of github.com:kframework/k
more restructuring of tests in the tutorial
finished restructuring0 all the tutorial tests
reorganized the tests and the configuration files of all exercises
Merge branch 'master' of github.com:kframework/k
Merge branch 'master' of github.com:kframework/k