An ipython extension to make it asyncio compatible