Minimal changes to import IPython from IronPython