Tools + self host jQuery

This pull request aims at :
* Replacing the "Tools" in the main.php file, which *did not* use the global lang variable and thus wasn't translated correctly.
* Remove the code to get jQuery from Google API servers and use the provided version instead. This allows the website to be accessible even if there is a problem with Google API and avoid useless queries on Google servers.