Attempt to make manager more robust

Also attempt to implement multi-worker management. This code is untested
as of this commit.