added .gdbinit for prettier printing