modify gitignore to exclude IDEA's workspace.xml

The file gets tweaked as Idea does Git CM. It would never be stored
accurately.