Add OCaml-Buddy 0.6.1

This depends on the user having the Buddy BDD library installed (for example libbdd* on Debian/Ubuntu). I'm not sure if/how opam manages external C library dependencies so I haven't specified any dependencies in this commit.