add support for profiling souper optimizations

increment a redis variable any time optimized code executes
It has occurred to me that we should not be linking the runtime library into shared objects, only the final object file. So you should also check for ```-shared``` here.