announce the package on the OpenMath and ODK channels

[kohlhase]

We should really announce the availability of this via the OpenMath (Tom?) and and ODK (Luca?) channels (once it is sufficiently ready and tested).

Do good things and talk about it.

For this we need

• testing (e.g. the ODK "Bremen" example we have been talking about)
• ...