Unfortunately, the nightly builds script (which generates date, timestamps, size information) did
not work anymore after the www.scilab.org migration out of INRIA network. The CI builds let us
iterate more quickly (one build after each commit) than nightly builds (one build each night) ;
using it might be enough for most of us.