added procedures to write witness sets computed in double double
and quad double precision