Add sphinx documentation

This MR adds Sphinx documentation sources, a Python utility module, and CI configuration to automatically-generate the docs.