Download button

[gregoriopellegrino]

Feature description:

I would like to have the ability to include a download button as output.

Problem and motivation:

My script receives some input, processes it and generates a downloadable zip file containing some documents, I would like to allow the user to download it in an easy way.

Is this something you're interested in working on?

Yes: I work in Python, but I am new to both streamlit and pydantic, so it may take some time.