Document recently added sphinx documentation options in
CMake.