Вынесен polyfill для HTML5 History API

Предлагаю вынести polyfill для HTML5 History API за пределы noscript, в переписанном варианте вроде довольно легко вставить любой стандартный polyfill.