Enhanced GIF support

Version 3.1.22 enhances GIF support. They now clearly stand out from standard videos in the final WazzapMigrator statistics.