This extension is no longer needed since it is now possible to achieve https everywhere with a setting in chromium.
I actually wrote this in 2018 but never committed it. Might as well do that now. The extensions it installs are uBlock Origin, Vimium, and HTTPS Everywhere.