Names unified in TaskDone
Signaling completion of task

This is needed for unsubscription from failure detector. Unfortunately the
code is broken, so I can only carry the identifier of a task. This will
complicate things later :(.