document "-v" option
use offical multiprocessing logger; name procs for simpler debugging
cleanly handle keyboard interrupt (^c)