Add of_list in Set.Make
Merge pull request #542 from jpdeplaix/Set.of_list

Let's merge it noooow!