This removes the extra-substituters and extra-sandbox-paths settings and instead makes every array setting extensible by setting "extra-<name> = <value>" in the configuration file or passing "--<name> <value>" on the command line.
This was accidentally documented as NIX_OPTIONS.
Closes #4096.
This means we don't have two (divergent) sets of option descriptions anymore.