6.824是只做了raft吗？还是lab3lab4也做了