diva() computes the DIVA (Divide and Conquer for Preference-Approvals)
consensus, and diva_sensitivity() its average distance over a grid of the
weighting parameter lambda.pref_dist() (distance between preference-approvals),
find_approval(), pa_universe() and is_consistent().french_election_2002, formula1_1950 and pa_small.