another gitignore, should fix the workspace.xml problem