prototype server for creating interactive "try SPARK / try Ada" webpages - View it on GitHub