util: define PyInt_Type on Python 3
util.h attempts to wallpaper over C API differences between Python 2
and 3. This is not the correct approach where performance is critical.
But it is good enough for the current state of the Python 3 port.
#require docutils gettext $ $TESTDIR/check-gendoc zh_CN checking for parse errors