add devtools for gdb server

Signed-off-by: Stephano Cetola <scetola@reachtech.com>