Added anim_encoder tool

This is the tool used to generate the main page animations. Inserted
here simply for ease of access and only needing to download one
repository.