added timeout and time taken to process vc inside Metrics.java
Merge pull request #111 from yushan87/prover-metrics

Updates for the WebIDE