Make links in dependency graphs animate to the relevant anchor

[avital]

The dependency graph is the thing that looks like this:

Note that these links live inside an IFRAME (that contains the SVG content), so it may take a bit of custom JavaScript.