converted all vcs to the immutable form expected by the in house provers
invoking the in house provers work as intended.
new output class for VCs
output to file complete
Merge pull request #127 from yushan87/vcgen-output

VCGenerator Updates (July, 2014)