Add html5shiv to HTML5_RDFa arbor