Changed video filenames
Added decompressor for converting multiple files into images
Added launch file for batch_decompressor
Missed the important file in last commit
Doesn't seem to work when saving to tiff first, using png as intermediate format
Merge pull request #5 from nilsbore/master

Added python script for decompressing the several video files saved by video_saver.launch. Runs on 1 machine!