Turn animated gif into WhatsApp sendable video
You can use this online tool to convert it: http://www.giftovideo.com/

Regarding tools, you could use FFMPEG + ImageMagick, but it's kind of tricky finding the correct options. There is some instructions here. I tried but some of the cases didn't work.