Add support for cancelling an ongoing proving process

[han0110]

We can probably add another method zkVM::prove_with_cancellation and the ere-server can provide an additional /cancel API to cancel the ongoing proving process if the underlying zkVM supports.