message: [Docs] Update the CI page
  - Add the Sphinx bot
  - Add a little more info
diff: @@ -4,17 +4,34 @@ Continuous Integration
  Buildbot
  --------
  +LLVM Buildbot is the place where Volunteers provide build machines to work as
  +build slaves. Everyone can `add a buildbot for LLDB
  +<https://llvm.org/docs/HowToAddABuilder.html>`_.
  +
  +
  * `lldb-amd64-ninja-freebsd11 <http://lab.llvm.org:8011/builders/lldb-amd64-ninja-freebsd11>`_
  * `lldb-x64-windows-ninja <http://lab.llvm.org:8011/builders/lldb-x64-windows-ninja>`_
  * `lldb-x86_64-debian <http://lab.llvm.org:8011/builders/lldb-x86_64-debian>`_
  * `lldb-x86_64-fedora <http://lab.llvm.org:8011/builders/lldb-x86_64-fedora>`_
  +Documentation
  +-------------
  +
  +The documentation bot validates that the website builds correctly with Sphinx.
  +It does not generate the website itself, which happens on a separate server.
  +
  +* `lldb-sphinx-docs <http://lab.llvm.org:8011/builders/lldb-sphinx-docs>`_
  +
  GreenDragon
  -----------
  +GreenDragon builds and tests LLDB on macOS. It has a `dedicated tab
  +<http://green.lab.llvm.org/green/view/LLDB/>`_ for LLDB.
  +
  * `lldb-cmake <http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake/>`_
  * `lldb-cmake-matrix <http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake-matrix/>`_
  * `lldb-cmake-python3 <http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake-python3/>`_
  * `lldb-cmake-standalone <http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake-standalone/>`_
  * `lldb-sanitized <http://green.lab.llvm.org/green/view/LLDB/job/lldb-sanitized/>`_
  * `lldb-xcode <http://green.lab.llvm.org/green/view/LLDB/job/lldb-xcode/>`_
  +
  