Started some formal write-up
Merge pull request #64 from chsticksel/kind2-server

Started some formal write-up
Small fixes in the multi-property report
Added support for MathSAT5
Don't set option produce-proofs
Fixes to make MathSAT5 work
Merge pull request #65 from chsticksel/mathsat5

Added support for MathSAT5
Made message passing explicit
Merge branch 'master' of github.com:kind-mc/kind2
Fixed hashconsing for integer range types with numerals
Merge pull request #66 from chsticksel/hashcons-fix

Fixed hashconsing for integer range types with numerals
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' of github.com:chsticksel/kind2
Fold variable equations into node calls, buggy right now