This updates everything for the move of theme to mdbook-html. There will be followup commits that will be doing more cleanup here.
This new crate will hold the HTML renderer and related front-end parts.