Add gRPC interface function to write settings to file#1144

silvanocerza merged 2 commits intomasterarduino/arduino-cli:masterfrom

scerza/config-grpc-writearduino/arduino-cli:scerza/config-grpc-writeCopy head branch name to clipboard