Guyslain : replacing pair_up with a fold_right version
Merge branch 'master' of https://github.com/aspiwack/fulltrees
Full.v: n ↝ k in "height" of power lists and height of trees.
Full.v: BinaryList.of_list is just a fold.
Section Coq up to date with the no-non-empty-list version.