Reloading should interrupt running provers

When reloading a file in the IDE (C-r), currently running provers continue in the background. After reloading is finished, the prover result does not seem to be used and the time of the VC is displayed as (undone).

Currently running provers should be killed when reloading.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information