Clean-up mutex behavior on exit

[egranata]

If a process holds a mutex and exits, the current implementation leaves the mutex locked, never to be usable again

If a process exits cleanly, maybe the mutex should be unlocked automatically. And if it exits due to a crash, then one may want to add a "possibly corrupt" state