Extra properties for PDF exporting
Converter for special characters to LaTeX style
Pdf making code
Properties and Guice Module for PDF making
Tests for PDF + gitignore on the resulting PDFs