message: infra: port the "How the Rust CI works" dropbox paper
diff: - [docs.rs](./infra/docs/docs-rs.md)
  - [Monitoring](./infra/docs/monitoring.md)
  - [rust-bots server](./infra/docs/rust-bots.md)
  + - [rust-lang/rust CI](./infra/docs/rustc-ci.md)
  - [Language](./lang/README.md)
  - [RFC Merge Procedure](./lang/rfc-merge-procedure.md)
  - [Release](./release/README.md)
  