Restoration of the formatter for KEY files

[wadoon]

Archeology: In the back old days, we reformatted all our KeY files.

If you need to restore a branch before that time to bring it on the master, you should also reformat the KeY files before the merging.

This PR brings the formatter written by Wiesler.

The original MR was !614.

Currently unclear, whether we want to bring this on the main.

Has Sonarqube activated for evaluation reason

• Missing for main
  • [ ] Test cases

[mattulbrich]

Achieving auto-formatting for .key files would be nice since we have the infrastructure for this ...

[sonarcloud[bot]]

Quality Gate passed

Issues
16 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud