An IPython console plugin for Ninja