doc-generator: add preliminary html doc converter script