Further tidy of `.gitignore`.

There is never a `.proof` directory created.