Update CHANGELOG and INSTALL for 1.4.2