Fix: ACE doesn't work over HTTPS

Google Chrome (at least) refuses to load mixed HTTP and HTTPS content.
Fix the link to the CDN hosting ACE, so that it uses the same scheme as
the page.