Changes

Summary

1. some support for document preparation in Isabelle/Scala;
2. unused (see 7b318273a4aa);
3. unused (see 564012e31db1);
4. more standard and more robust, following hints on the Net;
5. obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
6. prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
7. proper Windows 32bit platform;
8. clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);