Add a paragraph on using multiple judgedaemons on multicore CPUs
and a few minor improvements, modify rule of thumb for #judgehosts.
Note that we need ghostscript for generating ps->pdf admin docs.