Project organization: deleted a workspace.xml file.
Merge branch 'master' of https://github.com/kframework/java-semantics
Debug: When krun finishes successfully, delete some more useless cells, so that the displayed configuration will be shorter.
KJ-16 Split elaboration module into a few smaller modules.
Split into 5 modules, although module ELABORATION-CORE contains approximately 40% of all that was elaboration before. We need to investigate whether parts of that module could be moved/ eliminated.