Miscellaneous Python scripts for manipulating images in Gimp