Make the navigation-hotkeys extension work with jupyter
Make the navigation-hotkeys extension work with jupyter

- Add the needed load_ipython_extension property
- Use the require mechanism

Konubinix/IPython-notebook-extensions,Konubinix/IPython-notebook-extensions,Konubinix/IPython-notebook-extensions