hadrian.settings doesn't support changing Cabal Setup builder arguments
We should introduce a set of hadrian.settings keys to allow the user to modify the arguments passed to the Cabal Setup builder. This would allow, for instance,
stage1.base.cabal.configure.opts += --disable-library-striping