AOS project implementing Lamport's Mutual Exclusion Algorithm