Fix repository browser on IE 10+

historyManager.js was checking for MSIE x.x, but starting with IE 10, the user agent is in MSIE xx.x format.