Updates for the WebIDE

1) Added timeout and time taken to process vc inside Metrics.java
2) The prover listener will create a Metrics object that gets used by the WebIDE