Use Sphinx for Python Documentation

Code documentation is important, but maintaining the source code and its documents separately is challenging. If we can generate the document based on the source code, or at least based on the code comments, we have a better chance to keep the document up to date.