Updates on the Arduino Web Editor

Hi,

we just deployed a new version of the web application.

We improved the libraries and examples search. Libraries and examples are now automatically filtered according to the current board selected. Searching in the examples sidebar now gives results also from the subfolders.

We also fixed many minor UI issues.

Thank you!