Replace the mainfile on a compressed version.

Only rename "html5shiv.js" into "html5shiv.min.js" in mainfile field.