js: add html5shiv