darcs patch: Support for hoogle-database generation