Incremental output
Maually merged pull request
Reject new jobs on high load average
Merge pull request #24 from chsticksel/kind2-server

Reject new jobs on high load average
Match XML output to Kind 1 and JKind
Merge pull request #25 from chsticksel/kind2-server

Match XML output to Kind 1 and JKind
Still merge conflicts
Merge branch 'master' of github.com:chsticksel/kind2
Eliminate type aliases