When the manager dies, a new manager should be automatically elected

[phckopper]

Whenever the current manager dies, the participants should autonomously define a new manager, keeping the old state as per #9 . This should be implemented with the Bully Algorithm.

As a subtask, we should also develop a way to detect that the manager is absent to trigger the election.