barvinok_options: rename emptiness_check to lexmin_emptiness_check