merge: better use of param_list_* functions to deal with the case where there is no command line argument
merge: better use of param_list_* functions to deal with the case where there is
no command line argument

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