Merge pull request #13 from HeinrichApfelmus/HeinrichApfelmus/fix-lhs2tex
PraosModel: Fix `lhs2tex` invocation and change to SVG, avoiding Cairo backend