use local copy of OpenLayers.js for being able to serve over https