Make fig_gif2ppm take commandline arguments instead of a hardcoded path.