nasa-veda: Change some hub-side permissions for the binder

[yuvipanda]

These were not in effect (as the S3 bucket side has not been opened), and we're toning these down now for an additional level of security.

[sgibson91]

I am getting an error on the plan

Planning failed. Terraform encountered an error while generating this plan.

╷
│ Error: "policy" contains an invalid JSON policy: invalid character ']' looking for beginning of value, at byte offset 216
│ 
│   with aws_iam_policy.extra_user_policy["binder"],
│   on irsa.tf line 74, in resource "aws_iam_policy" "extra_user_policy":
│   74:   policy      = each.value.cloud_permissions.extra_iam_policy

[sgibson91]

Found a rogue comma