Logging of proved and disproved properties with the bound k
Merge pull request #29 from chsticksel/kind2-server

Logging of proved and disproved properties with the bound k