gitignore: ignore more generated files
Signed-off-by: Sam Ravnborg <sam@ravnborg.org>
20 years ago febf7ea4 00213b17