Assorted generated docsite fixes

[avnik]

Closing #19
Closing #20
Also contain fix a CI check for licenses, and some cleanup

[aciceri]

What browser do you use?
The problem is reduced now but still appreciable.

(Tested both Firefox and Google Chrome)

Edit: nevermind, I haven't noticed that now there is a mini horizontal scrollbar at the bottom.

I'm thinking if I really like it or the text should break into multiple lines instead.

Edit edit:

This is what happens with this extra.css:

nav.md-nav--secondary a.md-nav__link {
  word-break: break-all;
}

Still don't know what I prefer. Meanwhile we can merge it as you prefer.

[aciceri]

Also if it's easy I would increase the width of the right bar a bit (remember to check that the website is still responsive and works on mobile).