cargo kani install does not recover from partially downloaded archive

[matthiaskrgr]

1. update kani-verifier to latest version
2. run cargo kani install
3. ctrl+c while its downloading
4. re-run cargo kani install expecting it would resume the download
   =>

[0/5] Running Kani first-time setup...
[1/5] Ensuring the existence of: /home/matthias/.kani/kani-0.39.0
[2/5] Installing local Kani bundle: /home/matthias/.kani/kani-0.39.0-x86_64-unknown-linux-gnu.tar.gz

gzip: stdin: unexpected end of file
tar: Unexpected EOF in archive
tar: Unexpected EOF in archive
tar: Error is not recoverable: exiting now
Error: Failed to extract tar file, try removing Kani setup located in .kani in your home directory and restarting

Caused by:
    Failed command: tar --strip-components=1 -zxf /home/matthias/.kani/kani-0.39.0-x86_64-unknown-linux-gnu.tar.gz

removing all 0.39.0 artifacts manually and retrying fixes this though

[adpaco-aws]

Hi @matthiaskrgr , thank you for letting us know about this issue!

We recently did some work here (#2799) but it looks like we need further improvements.