bump OpenLayers version to 2.13.1