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!
Added stuff for checking that the compression is lossless