Default to `devShell` in shell.nix

Created by  Tobias Pflug  on May 14, 2020
Z6K24BPAXFEXDJBA3UZVWKBSP4A3OTDQAPHAMPNACTI3HJ4REI5AC
In channels
main
Change contents