Fix doc: import error in make doc

Fix ImportError: cannot import name 'PY3' from 'IPython.utils.py3compat' when making doc

See https://stackoverflow.com/questions/59631663/jupyter-console-fails-to-start-but-jupyter-notebook-is-fine