Resolves #12 and is a better version of #18
Makes three changes:
Adds a download button to all files that explicitly downloads the file (using HTML download tag). This helps set filenames for certain files that browsers get confused for
Sets the files name when a download is downloaded as a folder (I took a shortcut and just did it when clicking next to a folder, not the top bar, I didn't want to pipe through folder name in go)
Adds a button that uses JS to click all of the file download buttons in a folder. This makes it easy to download all files individually inside a folder if you don't want it as a zip. This is useful for really large folders that you want to download incrementally.
Resolves #12 and is a better version of #18 Makes three changes: