Some reformatting.
Added a summary section to the proof output file, along with some metrics about each VC proof.
Merge pull request #52 from hamptonsmith/facilities3

Facilities3