Add jcodec as a dependency; Dig up some code from the internet to turn images into mp4 files