A tool for compiling .tex to .pdf