Update batList.ml

new version of unfold
Merge pull request #406 from UnixJunkie/patch-1

Update batList.ml