bookmarklet to export tables in html pages to various formats for download