[RFC] .gitignore additions

IIRC these are all generated files, so it should be fine.