core search: please set the installed property for installed platforms

[dankeboy36]

Describe the request

After installing a platform, the installed version string is missing from the response JSON when running core search. It's available on the core list response. If there are no technical limitations, please set the installed property of the Platform for core search as described on the API. Thanks!

arduino-cli/rpc/cc/arduino/cli/commands/v1/common.proto

Lines 77 to 78 in 558130b

	// Version of the platform.
	string installed = 2;

Describe the current behavior

1. Clean state:

rm -rf ~/Library/Arduino15
rm -rf ~/Documents/Arduino/libraries

2. Check platforms:

./arduino-cli core list --format json

[]

3. Check installed and latest with core search:

./arduino-cli core search "" --format json | jq '.[]  | select(.id == "arduino:avr") | .installed'

null

./arduino-cli core search "" --format json | jq '.[]  | select(.id == "arduino:avr") | .latest'

"1.8.6"

4. Install AVR:

./arduino-cli core install arduino:avr --format json

5. installed is set for core list responses:

% ./arduino-cli core list --format json | jq '.[]  | select(.id == "arduino:avr") | .installed' 

"1.8.6"

6. installed is still missing for core search:

./arduino-cli core search "" --format json | jq '.[]  | select(.id == "arduino:avr") | .latest'

"1.8.6"

./arduino-cli core search "" --format json | jq '.[]  | select(.id == "arduino:avr") | .installed'

null

Arduino CLI version

arduino-cli Version: git-snapshot Commit: 357d465 Date: 2023-01-03T09:30:23Z

Operating system

macOS

Operating system version

11.6.5

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the nightly build
• My request contains all necessary details