bat file to convert avi movies to jpegs using vlc