'install': allow additional '--hoogle-*' options.