started working on moving the code for debugging universe inconsistency in
a separate independent file
no compilation errors in separated code. no testing yet
added a main file and Manifest to create jar
tested the rendering of original graph
Merge origin/master
Merge origin/master
finished the coqdoc post-processor. That file is independent of all other files in this repo