Peek is a simple screen recorder that allows saving of animated gifs.
gif
Follow the instructions reported here.