Add workspace.xml to .gitignore.