Add "installed" filter in boards manager (#2812) #5376

Job	Run time
run-determination	3s
build-type-determination	3s
select-targets	3s
build (Linux)	6m 49s
build (macOS ARM)	14m 59s
build (macOS x86)	21m 48s
build (Windows)	17m 17s
changelog	11s
Windows_X86-64_MSI artifact	20s
Windows_X86-64_zip artifact	28s
macOS_X86-64_dmg artifact	20s
Linux_X86-64_app_image artifact	23s
Windows_X86-64_interactive_installer artifact	15s
macOS_arm64_dmg artifact	13s
macOS_X86-64_zip artifact	14s
macOS_arm64_zip artifact	28s
merge-channel-files	0s
Linux_X86-64_zip artifact	27s
release	0s
publish	0s
clean	6s
	1h 4m 27s

Provide feedback