Stop including hugo theme in our repo and use hugo modules instead

We have made a few modifications to the original hugo learn theme, some of
which are not easy to split into separate files so for now I'm just including
the files of the learn theme that have our customizations so that they override
the original ones from the theme.