Review AI code reviewing tools

[sofer]

• https://aws.amazon.com/codeguru/
• https://deepsource.io/
• https://codeball.ai/

Let's do a bit of a review and then introduce one of these tools in the spring term. I'll probably give one of them a go with FAC27.

[sofer]

@ivanmauricio this one! https://githubnext.com/projects/copilot-for-pull-requests

[ivan-unfolds]

@ivanmauricio to come up with recommendations for how to integrate these tools into foundation and full-time programme