Crush Your GIFs to Sub-Megabyte Size in Seconds—Easy and Life-Changing!