EDITS to the distribution programs for "ML for the Working Programmer".

Lists-Trees/sort,samsort: added a separate case for [].

Lists-Trees/next: correct the comment (*x > xk *)

Hal: included full list of Pelletier's problems (as many as I have!) with
corrected version of the Andrews Challenge (now proved!!)