If debugLevel is >= 4 print out best ordering
Use graphlib-dot for dot functionality

Eventually I'd like to make the dependency on dot parsing optional (e.g.
demo only), but that is for another day.