Automated generation of translation files

[arildm]

Translation files sometimes need to be updated along with code changes. This is easy to forget. It's not critical, but it will cause incoherent translations. With a GitHub workflow, we could probably have this task automated, so that it's done automatically after code changes. After that, we still need to add the actual translations, but at least we can get notified about that.

Maybe we should also employ a git commit hook?