Add default.nix
shell.nix: update version

[ci-skip]
Remove illegal Haddock docs from LoopT

[ci-skip]