use openlayers from openstreetmap as openlayers.org doesn't provide a https version ..