Overwrites shBrushCypher.js with the version used by doctools 13