(doc) Add util tool to batch-generate html files from rst. Add generated html files.