Almost empty commit, for checking...
Almost empty commit, for checking...

On top of this, a minor modification: modify the envelope sender in commit e-mails.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs