Stop keeping IDEA workspace.xml in repo.