Documentation: update .gitignore files