Added IE10 support.

Removed the predefined history.pushStateSupported for the ie9 permutation.
This is necessary since ie9 is also used for internet explorer 10, which
supports pushState and therefore leads to an exception in the generated
initialization code.