Replace Gif with .mp4

[camchardukian]

Just a small suggestion, but I suggest replacing the gifs inside the docs with .mp4 files so that we can more easily pause and follow along instead of having to try to watch the gif loop countless times.