mysql database specification exporter in html format