added ignore of workspace.xml to gitignore