Update the docs theme and copyright date.

Review Request #10789 — Created Nov. 5, 2019 and discarded — Latest diff uploaded

Information

DiffX

Reviewers

We're now using the "pyramid" theme for Sphinx, which provides a Table
of Contents (something the old theme was missing).

The copyright date has also been updated to include the current year.