Update information on how to use LIQUID_DEV_MODE=true in NixOS
Update information on how to use LIQUID_DEV_MODE=true in NixOS

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell