Cleans up generated worker names.
The worker names are now formatted more neatly (all lowercase, no spaces, the timestamp is a bit less recognizable as a timestamp). The list of names is now also stored in a resource instead of in the code.
A few new names.
To be filled in by the reviewers