Ignore *.vi files, just like *.vo files.
Test suite: keep message in sync with actual file deletions.