Added flag to set SMT logic, set none by default
Fixed debug output when detecting SMT logic
Merge pull request #37 from chsticksel/kind2-server

Added flag to set SMT logic, set none by default