Added LamportsFast and LamportsBakery algorithms. main.py is the test driver and globals.py is used for passing global variables across files.