Use statically compiled mdbook

ci/install.sh

@@ -15,7 +15,6 @@ main() {
         fi
 
         rustup target add $TARGET
-
         mkdir qemu
         curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm
         chmod +x qemu/qemu-system-arm
@@ -23,7 +22,15 @@ main() {
         pip install linkchecker --user
     fi
 
-    install_crate mdbook 0.3.1
+    # Download binary mdbook and add to path
+    curl -L https://github.com/rust-lang/mdBook/releases/download/v0.3.1/mdbook-v0.3.1-x86_64-unknown-linux-gnu.tar.gz > mdbook.tar.gz
+    tar -xf mdbook.tar.gz
+    mkdir -p mdbook-bin
+    mv mdbook mdbook-bin/
+    PATH=$(pwd)/mdbook-bin:$PATH
+    which mdbook
+
+    #install_crate mdbook 0.3.1
 }
 
 main