michaelg/dev: links for arduino-debuger