Allow files to be exported to office format#533

Implement a download button, similar to print button that can export the following formats:

Google Doc can be exported as .docx
Google Sheets can be exported as .xlsx
Google Slides can be exported as .pptx

https://developers.google.com/drive/api/guides/ref-export-formats