- Get rid of stupid round-robin when dispatching jobs to SSH workers.
  Use a fixed number of slots per machine and assign jobs to free slots.
- Rename and rework job_queue_* and work_list_* functions