Social editing of video recordings of lectures