Update of the .gitignore