Feature/use latexmk
Follow up to !577 (closed). It remains using dune_add_latex_document and checks with the first argument, whether to use latexmk or the old way.
Follow up to !577 (closed). It remains using dune_add_latex_document and checks with the first argument, whether to use latexmk or the old way.