Synchronizer Debugged, fix stupid unackMessages Problem
Add Byzantine Agreement Algorithm
mostly completed, for any processes, all OM(f) calls are stored in a list.
The list can be used to contruct the tree, which decides.
see AlgorithmTest/testByzantineAlgorithm6Processes()