Apply a patch to dotty, to fix a bug where no labels are displayed.

This patch is already in upstream, posterior to graphviz-2.34.0.