Clickable svg dot diagrams

Includes the changes from my req-cachedir branch, plus changes Dot.hs to do SVG diagrams instead of PNG. That's nice beacuse it lets you put `href` elements in the node and edge labels and they come out as clickable links.