updates to web ide (4/3/2014)
Added a button to run Mike's prover
calls the new VC Generator
Merge pull request #26 from yushan87/research-site

Research site