Print number of conflicts in relative induction statistics.
Also handle/print proof radius.
Don't link dynamically to submodules.
Add verbosity-level which includes correct incremental radius output
per property.
Fix bug in reporting results.
Change how resource usage is printed