Add Download button to download formated pieces of text/code

In addition to the copy button add download button, that will downloads the contents that should have been copped with the correct extension