Create a screen cast GIF in Ubuntu.