Added TileManager patch to OpenLayers 2.13.1

See https://github.com/openlayers/openlayers/pull/1304 for the patch.