this arrow drawing algorithm is an enormous pain
moved this shit into gui.py
safety
Edges (representing portals) now have little arrowheads on them to indicate which direction they go.