Add .tar extension to downloaded workspace

[ghostdevv]

Description

Currently when downloading a workspace it misses the .tar file extension. This uses the html native download property to add the .tar extension

Related Issue(s)

Fixes #7955

How to test

(taken from #7955)

• Go to https://gitpod.io/workspaces
• Toggle the right options menu of a workspace in the list
• Select Download Workspace

Release Notes

Fixed missing .tar file extension from a downloaded workspace

Documentation

Werft options:

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-integration-tests=all
  Valid options are all, workspace, webapp, ide

[werft-gitpod-dev-com]

started the job as gitpod-build-tar-file-ext.0 because the annotations in the pull request description changed
(with .werft/ from main)

[werft-gitpod-dev-com]

started the job as gitpod-build-tar-file-ext.1 because the annotations in the pull request description changed
(with .werft/ from main)

[laushinka]

/werft with-clean-slate-deployment

👎 unknown command: with-clean-slate-deployment
Use /werft help to list the available commands

[laushinka]

/werft run with-clean-slate-deployment

👍 started the job as gitpod-build-tar-file-ext-fork.0
(with .werft/ from main)

[vulkoingim]

/werft run with-clean-slate-deployment

👍 started the job as gitpod-build-tar-file-ext-fork.1
(with .werft/ from main)

[werft-gitpod-dev-com]

started the job as gitpod-build-tar-file-ext.2 because the annotations in the pull request description changed
(with .werft/ from main)

[vulkoingim]

/werft run

👍 started the job as gitpod-build-tar-file-ext-fork.2
(with .werft/ from main)

[vulkoingim]

I think the job with the preview env was failing due to it being from a fork.

I've launched it manually and you can access the preview envs' workspace here.

If you are happy with the results, feel free to remove the hold label 😄

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[ghostdevv]

not stale 🙏

[andrew-farries]

@ghostdevv you should be able to merge this when you're ready by removing the `do-not-merge/hold' label.

[ghostdevv]

Thanks!