Summary
- merged
- proper \usepackage[T1]{fontenc};
- more robust init: avoid spilling opam artifacts;
- proper type-setting of cartouches (requires T1); \usepackage[T1]{fontenc} is default for mkroot; \usepackage[utf8]{inputenc} is obsolete in lualatex;
- provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
- more robust; eliminated perl;
- removed unused latex packages;
- obsolete (see 0c837beeb5e7);
- proper Isabelle/Scala tool --- avoid perl;