Documentation converted to Sphinx
The documentation was converted from texinfo to Sphinx.