Switch to MicroTex for typesetting

[kpeeters]

There is now a standalone C++ LaTeX rendering library which can talk to a Cairo backend: https://github.com/NanoMichael/MicroTeX. Include this so we can get rid of the dependence on a LaTeX installation (and possibly get some performance improvements too).