Verification

The verification branch was used to add functionality that allows the DEC to call Coq and formally verify proofs.

This involved reformatting the way in which proofs were previously stored & constructed, calling Coq through the command line, and updating the web app to reflect the changed format.