Update OpenLayers

To get this pull request:
https://github.com/openlayers/openlayers/pull/1196

Fix: #672