Use Replit Name instead of uuid

[arirangz]

When dowloading replits, all zip files have a name that looks like a uuid.

Would it be possible to have the name we gave to the Replit instead?

Many Thanks

[cuboooooo]

Bumping this, it is currently exam week, but if someone replies to this later, I'll add this feature in a pull request.