Delete workspace.xml

Ce fichier n'a pas a etre comité c'est une erreur
Merge pull request #3 from jgondellier/master

Delete workspace.xml