Add new images2gif.py external.