Move documentation into Sphinx

If it's in Sphinx, then we can publish it. If we can publish it, then we
can link to it in other places.

Change-Id: I19ae8afdb70183de9f3f74e464dc9a8287e88ac7