download file using real filename
download file using real filename


Former-commit-id: 0f7fd5a32bb111bb8b9a2aff259ff20a81ecb915 [formerly d0d3ffd891fccda0d21dee69980a3bf0e75e3166]
Former-commit-id: 2e666913080db0c63c150b2ebcb8580070fdb869
arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent