dot: Add the tooltip attribute#127

jubnzv wants to merge 1 commit intobacktracking:masterbacktracking/ocamlgraph:masterfrom

jubnzv:dot_tooltipjubnzv/ocamlgraph:dot_tooltipCopy head branch name to clipboard