initial work on search box
cleanup
clean up logic
much better filtering behavior

Closes #3.
hide labels for non-highlighted nodes.

Plus some upstream changes to sigma.js.
Closes #5.