Add documentation for Tikz exports

[wlcsm]

Add a page in the website for explaining how to export diagrams and proofs into LaTex documents. People need to import certain style files so its not a smooth process for first users