Delete workspace.xml

This is a pain in the ass to keep merging.