Release stable version 4.0.0

5 jobs for master in 9 minutes and 3 seconds (queued for 36 seconds)