Create avi-to-mp4

Convert avi to mp4, the space saving was only about 20%, so this may need to be tweaked, but it is a working example