Add "base" jump paths to animated visualization
Draw recursive jumps as light dashed lines
Draw examined paths in diagrams
Bugfix: always put paths after rects

So paths that "stay" after a new rect shows up aren't occluded.
Ignore examined if they overlap with an existing path
Darken up examined lines a bit
Draw 'extra' annotations in separate container

'extra' being, of course, the 'examined' lines, which were overwriting the other
paths and making the final path look weird or hard to see.
Merge branch 'better-jps-vis'