Remove generated INSTALL file.

It's not alway generated exactly the same, so having it here makes
patching, and working with git, awkward.