Add a debugging guide to the docs. Contents: - texane/stlink usage - (optional) OpenOCD - GDB - GDB: Connecting to the texane/stlink utility - GDB: Setting breakpoints, reading from memory addresses, reading variable values - SWD/JTAG interfaces