Fetch jQuery from online CDN, rather than including the files in our tree

This is just a proposal, that came out of the discussion in #1992.