update modules to sTeX4

[kohlhase]

For sTeX4, the referencing of modules has changed:
Instead of

\sn{mod?transition-system/transsys-module?action}

we now use

\sn{?transition-system/transition system?action}