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
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
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.
Merge pull request #59 from hamptonsmith/furious

All changes through Hampton's defense.
rebase
Fixed facility arugment item type error, fixed getTrueVarExp not providing a math type, added copy ability to ProgramStringExp