Add INSTALL file to the distribution tarball.