Adjusted NEWS and INSTALL documentation.