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

Add test case for BatPervasives.dump