add support for profiling souper optimizations

increment a redis variable any time optimized code executes
This script should also have a license header.