Update README and INSTALL documents somewhat.