Added the ability to render formatted and highlighted code in documents, uses the minted package.
Made the fact list scroll to the top when a section is changed.
Created a LatexRenderThread class which allows you to queue facts/proofs for rendering in another thread.
Added a notion of rendering to the model and propogated change through application. Threaded rendering now works, but I can't get the tests to work now.
Changed what triggers the statement/body to render.