Small fix to gdbinit

Follows 669f348. Non-printing characters need to be enclosed with \001 and \002
so readline knows not to count them when calculating where the position the
cursor.

Change-Id: I822c88dc3e6808012f272a54d80d739ec8b77a0b