This also pulls out hex_digit from py/lexer.c and makes unichar_hex_digit