update mldonkey to 3.1.7?

[somethingGoneWrong]

Hi, I noticed that there is a github repo with an active development of mldonkey arrived at version 3.1.7; do you think you can switch from the package of 3.1.6 to the direct compilation of 3.1.7 using the repo mentioned above? thx