Updating version number to 4.2-dev after release of 4.2.0beta3