Update version numbers for 0.4.2.
Update CHANGES for 0.4.2.