remove now-gratuitous .gitignore