libdvdnav: Version bump to 4.2.0.