Broadcast gaPermalinkChange events in IE as well

This is an alternative to #422.

Cédric to test that in IE.