Add pyocd and very basic gdbserver