Avoid jQuery/$ incompatibilities with scripts injected by third parties

This feature allows us to coexist with other Gmail extensions that rebind the global `$` identifier to something that is not jQuery.

The change is compatible with existing code, except if jQuery was loaded after the call to the main Gmail() function, which I believe would be a strange thing to do.

See inline comments for details.