Revert removing the workspace download feature

Reverts #14393

Author: gtsiolis

components/dashboard/src/workspaces/WorkspaceEntry.tsx

@@ -57,6 +57,11 @@ export function WorkspaceEntry({ desc, model, isAdmin, stopWorkspace }: Props) {
         pathname: "/start/",
         hash: "#" + ws.id,
     });
+    const downloadURL = new GitpodHostUrl(window.location.href)
+        .with({
+            pathname: `/workspace-download/get/${ws.id}`,
+        })
+        .toString();
     const menuEntries: ContextMenuEntry[] = [
         {
             title: "Open",
@@ -86,22 +91,8 @@ export function WorkspaceEntry({ desc, model, isAdmin, stopWorkspace }: Props) {
     }
     menuEntries.push({
         title: "Download",
-        customContent: (
-            <div className="">
-                <span className="block text-gray-300 dark:text-gray-500">Download</span>
-                <span className="text-gray-400">
-                    Deprecated.{" "}
-                    <a
-                        href="https://github.com/gitpod-io/gitpod/issues/7901"
-                        className="gp-link"
-                        target="_blank"
-                        rel="noreferrer"
-                    >
-                        Learn more
-                    </a>
-                </span>
-            </div>
-        ),
+        href: downloadURL,
+        download: `${ws.id}.tar`,
     });
     if (!isAdmin) {
         menuEntries.push(