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

Started some formal write-up