literals don't crash in the new vc generator
changed the names of the proof rules to be consistent
fixes a crash with empty locations
true goals don't show up in the web interface
Merge pull request #132 from yushan87/vcgen-fixes

Vcgen fixes