Minor update to gitignore

Just convenience: ignore these.