[PUSHED] Enable styling for GDB

[Andreas Schwab]

On Feb 25 2023, Andrew Burgess wrote:

> I pushed the patch below as obvious; this enables use of your new
> styling within GDB.  Hope this is OK.

Thanks.  I only tested with objdump --disassembler-color.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."