Update OpenLayers

https://github.com/openlayers/ol3/commit/a5c6a865bf0af67595649b15e521c556d7e1246b
Merge pull request #714 from geoadmin/dev_update-ol

Update OpenLayers