Automate publication of new documents

[guusdk]

Publishing new documents now requires manual docker build + push. We should probably move this to GitHub Actions + the GitHub registry, if feasible. Due to the complexity, we may run into CI runtime limits in the free tier though.

[Echolon]

Thank you Georg for the support!

• Estimated workload: 15 h
• Assumption: Knowledge of Github Automation, optimization to towards free tier of Github

[Millesimus]

Could runtime issues be mitigated by caching the image? I'm thinking of something like this: https://gist.github.com/UrsaDK/f90c9632997a70cfe2a6df2797731ac8

[singpolyma]

What is the manual process in use right now?