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