Move the list of workers into a separate file, so it's accessible to both scripts

Also, this is a plain file regularly re-read, not sourced, it's possible
to spin up/down workers without actually starting/sopping processes.

Signed-off-by: Mattia Rizzolo <mattia@debian.org>