logilab-devtools #6689 rename lgp option --dist to --result [resolved]

--dist is too close to --distrib and this is a source of confusion.

prioritynormal
typeenhancement
done in0.12.4
load0.300
load left0.000
closed by<not specified>