Build documentation and push to rust-ci.org.