The objective of this lab part is to implement a Failure Detection and a Leader Election Module that will later be used in your Paxos system. We assume only a partially synchronous system, with a crash-stop process abstraction.