Support redirect priority

[antonok-edm]

As per https://github.com/gorhill/uBlock/wiki/Static-filter-syntax#redirect:

By default, redirect directives have an implicit priority of 0. Filter authors can declare an explicit priority by appending :[integer] (negative values are also supported) to the token of the redirect= option, for example:

||example.com/*.js$1p,script,redirect=noopjs:100

The priority dictates which redirect token out of many will be ultimately used. Cases of multiple redirect= directives applying to a single blocked network request are expected to be rather unlikely. All directives will be reported in the logger, and the effective one will be reported as the last one before redirection entry. Explicit redirect priority should be used if and only if there is a case of redirect ambiguity to solve.