Nix playdoh lib

This nixes playdoh-lib and moves all the dependencies to vendor/.

r?