update .gitignore

2023-04-19, Edouard Tisserant