Adding an additional output plugin to mdbook causes it to create an
extra level of subdirectories in its build directory; one for each
output plugin.

We add an intermediate build directory `build`, and after building the
individual mdbooks, construct the `html` directory with the desired
layout.