.gitignore further improvements
Merge branch 'improvement/#3' into develop