Update source documentation via Doxygen.
Always use https for jQuery.

This fixes the documentation being nearly-unviewable when viewed locally
(i.e. via file: URLs).