i guess i should be more explicit in my suggestion that we rename addprocs() to addworkers(), and rmprocs() to rmworkers(). this new nomenclature would be more precise, b/c you can't just add/rm any proc with these functions, just worker procs.
to be even more consistent, we should probably also consider changing the -p flag on the command line to -w.
