Get OpenLayers from an https-friendly CDN