Change static.rust-lang.org to doc.rust-lang.org
Change static.rust-lang.org to doc.rust-lang.org

The new documentation site has shorter urls, gzip'd content, and index.html
redirecting functionality.

rust-lang/rand