Qualcuno conosce un programma per Linux che converta vi in gif animate?