[bericht] Give more details on prover changes
[bericht] Give more details on prover changes

1. moved classes search and replace elements in ASTs
2. timeout functionality is implemented in prover callers now

team-worthwhile/worthwhile,team-worthwhile/worthwhile