Fix other isdigit() instances that are better as isdecimal().

Fix other isdigit() instances that are better as isdecimal().

Both raised exceptions, but the latter raises a
dns.exception.SyntaxError in cases where the old code raised
ValueError.

This change also fixes the tokenizer's get_int() method, which
did not work for bases bigger than 10.