dot/gitconfig.in: Use `diff-highlight' for, err, highlighting diffs.

[profile] / dot / gdbinit

### GDB configuration

set tui border-kind ascii
set disassembly-flavor intel
set disassemble-next-line auto