Fix API progress page.

GitHub does not allow anymore to directly include JavaScript files from
repositories.