Completed export to CSV file function.

GWT has no native support for file I/O. The download functionality
is handled by a simple HttpServlet that serves up the file upon
request. The download is triggered by a setting the URL of a hidden
iframe __gwt_downloadFrame to make the UX as smooth as possible.