terra: 1.0.0-beta3 -> 1.0.0-beta5

[elliottslaughter]

Description of changes

Releases since the last update:

• https://github.com/terralang/terra/releases/tag/release-1.0.0-beta5
• https://github.com/terralang/terra/releases/tag/release-1.0.0-beta4

I don't anticipate any breaking changes.

I also added myself as a maintainer.

Things done

I'm not sure what to add here, so I've left the default list below intact. So far I mainly just bumped the version.

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 22.11 Release Notes (or backporting 22.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
  • (Release notes changes) Ran nixos/doc/manual/md-to-db.sh to update generated release notes
• Fits CONTRIBUTING.md.

[nixos-discourse]

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/etiquette-for-pinging-a-pr/19566/1

[elliottslaughter]

I've addressed @SuperSandro2000 's feedback, and the CI passes again. Just wanted to check with @thoughtpolice and @jb55 since you're the maintainers noted in the nix file. Does everything look ok? Anything else I need to do?

Thanks.