generate OMDoc
this can be done now, but we have the problem (see https://github.com/KWARC/sTeX/issues/202) that sTeX does not tolerate _
in module names.
this can be done now, but we have the problem (see https://github.com/KWARC/sTeX/issues/202) that sTeX does not tolerate _
in module names.