Use aasvg for the diagrams

I had to tweak the some of the diagrams so aasvg would pick the lines
up, or space the arrows more consistently, but overall the SVG version
is much nicer. I think the ASCII art version of the overview diagram is
a bit worse this way, but ah well.