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.