Use IPython's copy of ipython_console_highlighting Sphinx ext, if available