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
Added a Teaching logo to the WebIDE
don't add the user components to the regular components list if concept/enhancement does not exist
Merge pull request #28 from yushan87/fixes

don't add the user components to the regular components list if concept/...