[lib] move crc, prover, tactic

Loïc Corrensonrequested to merge
feature/lib-tactic into master

Move some modules to lib and use Tactic whenever possible.

Merge request reports