Add cmake option to choose HTML file suffix for Sphinx
Merge pull request #729 from taketwo/add-sphinx-cmake-options

Add cmake option to choose HTML file suffix for Sphinx