other: use vhs to automatically record demo gif (#2006)This PR adds a vhs "tape" file to automatically do the demo gifrecording. The point of this is to make it more consistent/easy to do,and this has the benefit of making a smaller gif file.