Merge pull request #92 from chsticksel/develop

Log output and SMT command traces
Merge pull request #93 from chsticksel/develop

SMT trace to correct file in single process mode
Merge pull request #94 from chsticksel/develop

SMT solver options: keep defaults if not set
Link to XML schema for counterxample path
Document webservice protocol
Formated text
Update webservice.md
Merge pull request #95 from chsticksel/develop

XML output
Merge pull request #96 from chsticksel/develop

Draft for the native input format
Update Kind2-Native.md
Don't set unnecessary option pp.max_depth