6.824 file synchronizer project