Ignore also workspace settings

.gitignore modifications