Some formatting changes to README, INSTALL and ChangeLog files.