Labs for MIT 6.824: Distributed Systems