* report, codemap and such things.
* Solver renamed to Prover.
* some typos fixed.