Add board search command and gRPC interface function#1210

silvanocerza merged 3 commits intomasterarduino/arduino-cli:masterfrom

scerza/board-searcharduino/arduino-cli:scerza/board-searchCopy head branch name to clipboard