RobinGas final demo

Codebase used for the final demonstration on October 27th, 2022 with some small additions in the following days.

This release was created before file clean-up and splitting into separate packages.