Flake-enable project

[Gabriella439]

The immediate motivation for doing this was that the old shell.nix failed with the nixpkgs channel that I had installed. While I was fixing this to pin nixpkgs I figured this would be a good time to flake-enable the project.