Update useragent.js

Patch proposal for https://github.com/ajaxorg/ace/issues/1814 (IE11 compatibility issue)
Fix : for UIE11, regexp must also consider Trident string
Merge pull request #1815 from jbrazeau/patch-1

Patch proposal for IE11 compatibility issue