Download Files From Old IDE

[bqi343]

As mentioned in #98 (comment), we should add a button that users can click to download all of their files from the old IDE at once, well before shutting down the old IDE. Though I don't think I am familiar enough with the IDE to do this myself. @thecodingwizard ?

[thecodingwizard]

It might not be that difficult to implement a "read-only" version of the legacy IDE -- basically we would have to go through every file we currently have, download it, and then store it on Firebase somewhere. This actually wouldn't take up too much space since most of our storage right now is being used by Firepad's overhead, so we would be able to keep this "read-only" IDE up and running forever. Implementing this might be easier than implementing the "download all files" button :p

[bqi343]

Implementing this might be easier than implementing the "download all files" button :p

It shouldn't be hard - all I need to complete the PR is a function that returns the code corresponding to a filename. Oops, idk how to do this though.

[thecodingwizard]

To convert firepad data to text on the server, I think Firepad headless mode works: https://firepad.io/docs/#headless

I think the headless mode would also work in the browser.