Updated user-agent sniffing for IE10 support

Maybe someone more knowledgeable than I am should take a look at library/pyjamas/DOM.ie6.py to check if it needs updating as well, as there is some logic pertaining to IE9 that may also apply to IE10 in this file.