Delete workspace.xml

should not be shared in git