Prune down the default list of formats both to reduce space requirements
and to reduce runtime dependencies. (Basically we get rid of PS,
because PDF is probably more widely used; html-split.tar, because
it's probably not that useful on an ISO image; and pdb, to get rid
of a dependency on iSilo).

Change volume title and publisher of ISO image to match precedent
of the real release ISOs.