Speed up nix-shell
Make chroot builds easier to set up

By default, we now include /bin/sh as a bind-mount of bash.
Get rid of "killing <pid>" message for unused build hooks
Add option ‘build-extra-chroot-dirs’

This is useful for extending (rather than overriding) the default set
of chroot paths.
Update manual
Refactor
Move some options out of globals