[PATCH] Add gdb.integer_type Python function

[Tom Tromey]

>>>>> "Andrew" == Andrew Burgess <andrew.burgess@embecosm.com> writes:

Andrew> Would it make sense to call arch_integer_type here to allow arbitrary
Andrew> type to be created?

We could do that, but I didn't need it, and doing so would introduce a
kind of memory leak.

Tom