migrate cc.redpen.docvalidator.* to cc.redpen.*

migrate cc.redpen.docvalidator.* to cc.redpen.*

docvalidator is the old code name for redpen.
redpen.docvalidator.* sounds redundant.