Remove generated INSTALL from repo

This was in .gitignore but it never got picked up properly.