Remove ability to disable the main gitlab web ide VSCode extension

Description

Currently in the GitLab Web IDE example, the main extension, which makes everything work properly, can be disabled globally by the user 😱

Screen_Shot_2022-07-15_at_5.12.25_PM

Let's make sure they can't do this...

Edited by Paul Slaughter