Images that should be pushed but not kept should be deleted

[wouterd]

Images that need to be pushed, but don't have keep = true should be removed after they are pushed.
Else build servers could get seriously cluttered.