Bump version to 1.4.2.

This was accidentally left out of a013a4b365e4adf2c47887507c2916cde671d671.