Add .ipynb format exporter

This is a continuation of @jvns 's PR #5720