Update mongo.version from 4.7.1 to 4.7.2

[stuebingerb]

See https://www.mongodb.com/community/forums/t/mongodb-java-driver-4-7-2-released/192583

[codecov]

Codecov Report

Base: 58.17% // Head: 58.15% // Decreases project coverage by -0.01% ⚠️

Coverage data is based on head (bc01a35) compared to base (72a0d04).
Patch has no changes to coverable lines.

Additional details and impacted files

@@             Coverage Diff              @@
##             master     #379      +/-   ##
============================================
- Coverage     58.17%   58.15%   -0.02%     
  Complexity      752      752              
============================================
  Files           135      135              
  Lines          5604     5604              
  Branches        477      477              
============================================
- Hits           3260     3259       -1     
- Misses         2132     2133       +1     
  Partials        212      212              

Impacted Files	Coverage Δ
...litote/kmongo/coroutine/CoroutineClientSessions.kt	50.00% <0.00%> (-25.00%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[stuebingerb]

That codecov report has issues, similar to #376

[zigzago]

Thank you