Use standard INSTALL file, and replace old addresses in README.