Variant of the TeXLive Docker image used for tex.fachschaften.org that includes some additional tools.