Use local OpenLayers files in case openlayers.org goes down

Recently, we have encountered a big problem when openlayers.org went down. These new changes should solve this problem.