HTML 5 Converter tool for convert given HTML document to HTML5 compliant document