Decreased JavaScript loading times

I somehow failed to integrate http://tablesorter.com into the http://open-ra.org/games sub-page (probably does not work with dynamically generated tables) and kept the .min.js