add support for profiling souper optimizations

increment a redis variable any time optimized code executes
Thanks.  I'll get the basic functionality working before worrying about this.

Another thing I was thinking about is this approach will overcount processes that fork. Wrapping fork isn't easy that I know of. Games could be played where the counting code calls getpid() but I'm inclined to think this isn't worth pursuing.