Add "term export"

[jzohrab]

Make it easy to export terms. This would let users share data, ppl could group up to make data mappings, etc.

Initial solution: just export everything into a CSV. :-) Good enough for now.

Possible long-term solution: somehow combine this with the "filters" in the Term Listing page, so that once a filter is applied, only those terms would be exported.

"Easy exporting and syncing of "parent" database (users learning the same lang could crowdsource)" - "crowdsourcing" to me implies some kind of central place to store definitions, choose the best, filter out trash etc -- that's a different beast.

[jzohrab]

This is done, at least in terms of its original scope.

I fuller solution, letting people export their full term list for others to take advantage of it, is a bigger piece of work.