check_python_module fails when name of pypi package is different from the name of the python module

[gzoumix]

Concretely, there are several pypi packages that provide a z3 module: the z3 package and the z3-solver package.
And these two modules have totally different contents.
Currently, it is not possible to check that z3-solver is installed