update to gitignore with git .idea/workspace.xml