Update useragent.js

Patch proposal for https://github.com/ajaxorg/ace/issues/1814 (IE11 compatibility issue)