sci-mathematics/open-axiom: version bump to 1.4.2