Hadrian: provide a key-value setting for EXTRA_HADDOCK_OPTS
There doesn't seem to be any equivalent to setting EXTRA_HADDOCK_OPTS
with Hadrian. This is used in NixPkgs
to set --hyperlinked-source --quickjump
, although these are set by default by Hadrian, so this feature might not get much mileage.