Removed generated Makefile from repository.
Started to overhaul the FactPage.
Added a FactType structure and methods for loading them from the database.
Now the proofs section is only shown if the fact type allows proofs.
Added a specific BreadCrumbs class which was duplicated on every page.
Can now modify and save a fact's statement.
Added the ability to render latex and update the images around the program.
Added a traffic light that shows whether the statement rendered correctly.
Proof add dialog now works.
Existing proofs are now shown on the fact page.
Added all functionality to ProofPage. Baring quick fixes, iteration 1 is complete.
Merge branch 'V3'