fixing up gdb commands to match openocd path in Makefile. Also adding a section to the README about on-chip debugging