Update html5shiv to 3.7.2.