Update gitignore
Merge pull request #425 from emmanuel-keller/1.5

Update gitignore