added dev-profile to gitignore. dev-profile is useful for pushing dev enviroment to cachix if I understood correctly
added dev-profile to gitignore. dev-profile is useful for pushing dev enviroment to cachix if I understood correctly

sfultong/stand-in-language,sfultong/stand-in-language