Adding workspace.xml to git ignore list so we can each have our own build setup.