Deducing google drive CSV export URL

Google has removed the option to publish as CSV.  However, only the UI was removed; the URL is still accessible.  This commit will detect if the standard '/pubhtml' link provided by Google is pasted into the prompt and if so, it is converted into the correct '/export?format=csv' URL.