TaintTracer: Added support for tracing jQuery.cookie plugin