Updated OpenLayers to 2.13dev

see https://github.com/TobiasLohner/openlayers/commits/f9c7e2f9488b4dfebdded709039506dec39f21dc