This updates everything for the move of theme to mdbook-html. There will be followup commits that will be doing more cleanup here.
This is a pure git rename in order to make sure that git can follow history. The next commit will integrate these into mdbook-html. Additional commits will refactor/move/remove items.
This new crate will hold the HTML renderer and related front-end parts.
