[UX] Filter for Web IDE-compatible extensions in the extensions marketplace

MR: pending

Description

Currently, all the extensions are being displayed in the marketplace including the ones not compatible with web IDE. Therefore, it would be efficient for user experience to provide a way to filter only the compatible web IDE extensions.

Acceptance Criteria

TBD