Add .ipynb format exporter

Exporter that outputs ipynb json. Fixes #5691.

TODO: This should output different notebook versions, in case somebody needs to convert between formats. Need to figure out how to do that.

Other than that, does this look good?