tikz export: fix typos
add tex-to-pdf generator