Proof trees

Lines from tests/golden/test_cases_prooftree.txt cover the RaTeX bussproofs-style `prooftree` subset used in golden rendering tests.

Reference PNGs are generated with MathJax's bussproofs extension because KaTeX does not implement prooftree.