Feature updates

These commits add:
* syntax highlighting for asciimath (for #32)
* enable asciimathml on future notebooks (requires the python 3 version of that module) (for #32)
* a small fix for highlighting nested lists
* Quick navigation of notes via an autocompleting box that can be autofocused with Ctrl+G (for #19)