“Does this camera come with ability to edit the videos made? Or does one need a separate external device for editing?”