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