Upgrade OpenLayers to 2.13

Update to OpenLayers 2.13. Note there is a chance to use the light version of OpenLayers, but I have not taken the risk at this point in time (as I need to figure out where OpenLayers.js is referenced from).