just tool to convert images to gif, for my own usage