Convert screencasts (or other digital movies) into portable animated GIFs