An example config for coloring GDB sessions

Use a config hack to plug colout on GDB output.