Added the addProof button and modal.
Added fact edit and delete buttons.
Added proof edit and delete buttons.
Added the addDependency and deleteDependency buttons and modals.