hackage2nix: update banner to mention tool used to generate the file

[trofi]

That way it's a bit easier to trace back to the tool that generates the fine in nixpkgs.