Add a counter for solver restarts
Add a counter for solver restarts

This should avoid a potential (rare) race condition where the callback
for a dead solver runs after a new solver has already been started,
which would result in a "lost" solver process just hanging around

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol