I have a batch of video files shot at 1080p with clips that go up to 10 minutes that I shot for a friend. He wants to edit these but his laptop (I know, video editing on a laptop!) can't handle 1080p, so I want to convert them down to 720p. My only video editing software wouldn't run on my Windows 8.1 PC (Pinnacle 16) and I need to convert these as quickly as possible. Can someone suggest a good, free, software package that would do this.