Update CI to curl mdbook executable

Currently CI takes too long because of cargo install