Add nix-shell tools, fix circleci, resolves #322
This commit is contained in:
committed by
Wolfgang Walther
parent
ea2e166aa1
commit
b83ee94fae