Adds a 'Save Code' button to directly save the content of a codebox to a file. Adjusts to many file extensions automatically.