Here’s how to convert them to an animation:

Given a bunch of images:
...
2015-07-30_06-30-22_.JPG
2015-07-30_06-30-27_.JPG
2015-07-30_06-30-32_.JPG
2015-07-30_06-30-37_.JPG
2015-07-30_06-30-42_.JPG
2015-07-30_06-30-47_.JPG
...

1. copy the images to a new directory

mkdir orig
mv *.JPG orig
mkdir new
cp orig/* new

 

2. convert the files to the right output size, say 1920×1080, including resize and crop. This resizes in place

cd new
mogrify -quality 100 -resize 1920 -crop 1920x1080+0+0 *.JPG

3. rename the files to a nice sequence format:

ls *.JPG| awk 'BEGIN{ a=0 }{ printf "mv %s myfile%04d.JPG\n", $0, a++ }' | bash

4. finally, convert into movie

avconv -y -r 10 -i myfile%4d.JPG -r 10 -vcodec libx264 -q:v 3 cloud-animation.mp4

That should do it!