added unit tests for append
Update tests and documentation for dump
Merge pull request #541 from mads379/dump-bug

Add test case for BatPervasives.dump
Merge pull request #531 from UnixJunkie/append_unit_test_in_batlist

added unit tests for append
Add of_list in Set.Make
Merge pull request #542 from jpdeplaix/Set.of_list

Let's merge it noooow!