[web] Add download attribute to download button in file view GitOrigin-RevId: 7fdbd970d87bd3678863f23be993a34140a5726b