Update INSTALL, README and THANKS file