Update graphdrawpdf.mli