Change html5shiv files

Renamed file names without changes and replace the mainfile on a compressed version.