Doc: sphinx: make singlehtml the default format

... instead of html. If someone's generating documentation locally, it's
probably easier for them to load and search one file.