update html5shiv version to 3.7.1