[__init__] Version number to 4.2.0