solver.py is extended with polyhedral homotopies in double double
and quad double precision