An attempt at a new KWARC web site based on the one from OpenDreamKit
Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel