Update graphdraw.mli