Introduced export_notebook function to IPython extension