script: Make iframes know their pipeline IDs at all times, even after
7bd2570
navigation. Since WebRender uses the pipeline ID stored in the iframe element to determine which pipeline to display, it had better be kept up to date! Closes #9919.
