update .gitignore

2023-05-31, Edouard Tisserant