release.nix: add knobs to disable tests and pdf manuals to reduce build times/deps