Merge pull request #27 from chsticksel/kind2-server

Do not fail on real type
Merge pull request #28 from chsticksel/kind2-server

Fixed handling of assertions
Merge pull request #29 from chsticksel/kind2-server

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

Closing file after reading
Merge pull request #31 from chsticksel/kind2-server

Return empty message when job is rejected on high load
Merge pull request #32 from chsticksel/kind2-server

Kind2 server
Merge pull request #33 from chsticksel/kind2-server

Generate invariants for subrange types