Add some kernel development extensions from florentrevest

[FlorentRevest]

I maintain these 6 extensions and a user requested that they get published to openvsx. I won't have the bandwidth to publish them manually so it's easier for me that they get automatically updated by this script.

[filiptronicek]

Hi @FlorentRevest, as is mentioned in our CONTRIBUTING guide, we strive for keeping the amount of extensions managed by this repo at a minimum. The extensions this PR adds also have been inactive for some time, and might be great candidates for a manual publish through our dashboard @ https://open-vsx.org/ - publishing through there really does take just a couple of clicks after drag-n-dropping the extension package.

Thank you, and please do let me know if there's anything I can help with during the publishing process!

[FlorentRevest]

Thanks for the help ;)

as is mentioned in our CONTRIBUTING guide, we strive for keeping the amount of extensions managed by this repo at a minimum

FWIW, my user journey was to click on "Documentation" from https://open-vsx.org/ then "Publishing extensions" https://github.com/EclipseFdn/open-vsx.org/wiki/Publishing-Extensions and the 4th paragraph "If the extension is open source or otherwise permits redistribution, you can request that it be auto-published as it is updated at the Visual Studio Marketplace." pointing to https://raw.githubusercontent.com/wiki/EclipseFdn/open-vsx.org/Auto-Publishing-Extensions.md made it sound like this was a well supported workflow. You may want to update this documentation to avoid stray contributors like me :)

publishing through there really does take just a couple of clicks after drag-n-dropping the extension package.

I did see that but for reasons I can't explain the "Login with Eclipse" button was just not showing on my profile page when I tried to use it. It's there now so I suppose there was some sort of bug so hopefully I can figure it out. But this contributed towards make me prefer a simple git push over this "couple of clicks" because... there was nothing to click :)

Thank you, and please do let me know if there's anything I can help with during the publishing process!

Thank you!

[filiptronicek]

@FlorentRevest I see, please, if you ever get more issues that you can reproduce with the website, feel free to raise an issue at https://github.com/eclipse/openvsx/. I hope that publishing goes well for you!