Update jquery tablesorter (old one didn't work with jquery > 1.9).


git-svn-id: http://voronet.francu.com/repos/DEX@906 8d550267-2627-4c68-899f-85492a8dd5ca