added a listener for the prover. web ide now invokes the Algebraic Prover instead of the Old Prover