Little improvments for documents(README.txt and INSTALL.txt)