Some python tools for color processing