Create linting workflow

[felix-schindler]

• Adds a new workflow that checks whether the pushed code matches our formatting requirements.
• formats the code

Up for debate:

• Should we depend on the format check to build the game?
  • If it doesn't succeed we'd propably save a few minutes of compute of something that will have to run again once formatted
  • If it does succeed it takes longer to run because the two workflows aren't run in parallel since the build has to wait for lint
• Should we enforce code formatting like this?