[Blockly] Add workspace search

[stefan-hoehn]

this adds a really helpful plugin that allows to search within the blockly workspace via Cmd/Ctrl-F

it is based on https://github.com/google/blockly-samples/tree/master/plugins/workspace-search

it opens up a small search window at the top right and blackens the blocks that match the search string

[relativeci]

Job #787: Bundle Size — 16.25MiB (+0.09%).

397887d(current) vs d9e3dc1 main#786(baseline)

⚠️ Bundle contains 16 duplicate packages
⚠️ Bundle introduced one new package: @blockly/plugin-workspace-search

Metrics (3 changes)

	Current Job #787	Baseline Job #786
Initial JS	1.86MiB	1.86MiB
Initial CSS	608.52KiB	608.52KiB
Cache Invalidation	90.64%	90.63%
Chunks	218	218
Assets	688	688
Modules	2020(+0.05%)	2019
Duplicate Modules	108	108
Duplicate Code	1.74%	1.74%
Packages	138(+0.73%)	137
Duplicate Packages	15	15

Total size by type (3 changes)

	Current Job #787	Baseline Job #786
CSS	857.79KiB (+0.02%)	857.62KiB
Fonts	1.08MiB	1.08MiB
HTML	1.23KiB	1.23KiB
IMG	140.74KiB	140.74KiB
JS	9.19MiB (+0.1%)	9.18MiB
Media	295.6KiB	295.6KiB
Other	4.71MiB (+0.1%)	4.7MiB

---

View job #787 report View main branch activity

[florian-h05]

LGTM, thanks! You (accidentally, I think) added a new script tag which I removed.

Just some minor style issues with the search box in dark mode - I took care of them.
Only thing left is the color of the action buttons in the search box, but we cannot change the color because the buttons are static images.