Merge pull request #51 from hamptonsmith/facilities3

Various prover improvements.
Merge pull request #52 from hamptonsmith/facilities3

Facilities3
Merge pull request #53 from hamptonsmith/facilities3

Fixed a bug in GeneralApplication that caused prerequisite theorems to n...
Merge pull request #54 from hamptonsmith/facilities3

Added flags in AutomatedProver to permit a number of heuristics to be to...
fixed an error where the prover gave a null pointer exception using the nogui flag
removed duplicate line that compiled the file twice when invoked from web interface
Merge pull request #55 from yushan87/small-fix

Small fix
fixed return variable names in populator
Added files/folders to ignore for IntelliJ and some changes for theory files for the webinterface
Merge pull request #56 from yushan87/master

My Changes
rebase fixes
Merge pull request #57 from bdurkee/master

fixed return value variable names in procedures and facility operations
Binary search proving as much as possible.
Unbelievable.
Fixed some bugs to get VCs for sequence realization of preemptable queue.
Dissertation version 1.
Dissertation defense dry run.