man-pages: remove now obsolete INSTALL file.