Add button to download file#3730

gregberge merged 2 commits intomainGitbookIO/gitbook:mainfrom

greg/rnd-7959-add-a-download-button-on-the-file-block-to-force-theGitbookIO/gitbook:greg/rnd-7959-add-a-download-button-on-the-file-block-to-force-theCopy head branch name to clipboard