.gitignore: Ignore `INSTALL'.