scaledownmp4 A little script to scale down videos and convert them to mp4 for iOS and Android devices.