new tool, grey.py

turn to all eps figures in current folders to grey scale, with the same
name, but in a new subdirectory ‘grey’