re-add .idea/workspace.xml