[PATCH 4/5] gdb: add extension language print_insn hook

[Tom Tromey]

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

Andrew> What this commit does is put the extension language framework in place
Andrew> for a print_insn hook.  There's a new callback added to 'struct
Andrew> extension_language_ops', which is then filled in with NULL for Python
Andrew> and Guile.

This looks good to me, thanks.

Tom