Support exporting to Centjes

[ad-si]

https://centjes.cs-syd.eu/centjes/check

[NorfairKing]

"All" you "need" to do is produce a Module:

https://github.com/NorfairKing/centjes/blob/master/centjes/src/Centjes/Module.hs