tdk.0.1.0: initial release

This is the initial release of the library, which includes an implementation of binary decision diagrams along with other generalizations. This will soon be a dependency of [the frenetic project](https://github.com/frenetic-lang/). Release notes can be found [here](https://github.com/frenetic-lang/ocaml-tdk/releases/tag/v0.1.0).