Add version to the documentation title

This helps our users see the state of the documentation.

(I also hope readthedocs will follow)