Fix ipython dev version

Temporarily, because nbformat 4 breaks things.