Fix #1316 by monkey patching IPython to encoding Unicode docstrings
before sending them to the pager