Cancel proving if client disconnects

[MartinOndejka]

In prover server, if client disconnects there's no reason to continue proving. Current setup can create problem when the client timeouts the proving and immediately creates another try, which has to wait until the old one finishes.