Conversion of the pretty-printers of gdb for the version 3 of python