install LaTeX and dvisvgm in sysdeps
simplify integration rules
formatting of diagnostics