* renamed mov2mp4 to shrink2mp4
* shrink2mp4 now also converts AVI files to mp4
* shrink2mp4 uses touch -r to copy file timestamps to the created mp4 file