workspace.xml toegevoegd aan .gitignore