Update version numbers to 0.4.2.
Update CHANGES for 0.4.2.