A Jupyter kernel for Maude

This requires IPython 3.

To install:

pip install maude_kernel
python -m maude_kernel install

To use it, run one of:

jupyter notebook
# In the notebook interface, select Maude from the 'New' menu
jupyter qtconsole --kernel maude
jupyter console --kernel maude