remove old grisu patterns from deps/.gitignore