polyhedral homotopies in double double precision accessible via ts_mvasta