Support externs files.

Also provide EXTERNS['jquery-1.9'] for convenience.