add shell.nix
Depend on free >=4.8