Tooltips for CFG dot graphs

This change adds tooltips over graph edges that indicate the to and
the from of the edge together with the probability for this edge.

Differential Revision: https://reviews.llvm.org/D154096