Add theme generated with `mdbook init --theme`

[mgeisler]

This will allow us to customize the appearance more easily: we can move the GA logic into the theme (to reduce load times and to simplify the JS injection logic).

The mdbook theme can be added incrementally: if we don’t add a file to our theme folder, we will get the corresponding file from mdbook.