Add cmake option to choose HTML file suffix for Sphinx

This pull request adds an option called `SPHINX_HTML_FILE_SUFFIX` that allows to set the extension of HTML files generated by Sphinx, as discussed in #584. The default value is 'html', i.e. same as the current behavior.