Add a real Setup.hs, and default.nix