nixdev: add the contents of nixdev to the nixpkgs