Rename Picoprobe upload to DebugProbe new name (#2298)

Picoprobe was rechristened Debugprobe earlier this year, add a note
in the menus to be specific about it.

See https://github.com/raspberrypi/debugprobe

Author: earlephilhower