Update of gitignore file: ignore OS specific files