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

Reject new jobs on high load average