sdm.tune_params: choose randomly among best configs

Fixes #10