Output statistics at each new PDR iteration if -v given
Cleaned up flags, dead and commented code in PDR
Optionally print the inductive invariant and check if it is actually invariant
Merge pull request #58 from chsticksel/kind2-server

Optionally print the inductive invariant and check if it is actually invariant