The use of the animated gif as part of the github readme seems quite ingenious to me. I don't think I have seen that idea in other github repos. And for a project like this its the perfect introduction. I wonder what tool did he use for this.
Quicktime Screen Recording and Mov to Gif online converter.
Which online converter did you use? What I like is that your animated gif ended up being quite small (15 sec => 600KB) enough so as you don't feel bad including it in your repo.