Avoid building mdbook in CI

[skade]

Our CI times regressed heavily by building mdbook. We should move to downloading it instead: https://github.com/rust-lang-nursery/mdBook/releases

This would also make implementing things like #77 much easier.

[jamesmunns]

I can do this, we do something similar in the embedded book CI.