Adding binary part of python3 intersphinx file in non-binary format