Changes to gitignore, to forget some temporary files
Merge branch 'sync' into main-dev