gitignore to exclude the .idea/workspace.xml file