Add html5 shim for IE.