Bump to stable version 2.5.7

2 jobs for master in 2 minutes and 12 seconds (queued for 2 minutes and 53 seconds)