rename 6.824 to 6-824