tools/quickdump: gitignore generated files