Update .gitignore

Add specific workspace file to .gitignore.