Delete .gitignore

Irrelevant for this repository.