Fix file names in license headers

[meysholdt]

Description

The license files in our repository are named License.MIT.txt and License.AGPL.txt.
This PR fixes files headers that were using the names License-MIT.txt or License-AGPL.txt.

This PR does not change how Gitpod is licensed.

Related Issue(s)

Fixes # https://gitpod.slack.com/archives/C01KGM9DVRC/p1664535939695139

How to test

This PR does not change code.

Release Notes

NONE

Documentation

Werft options:

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-integration-tests=all
  Valid options are all, workspace, webapp, ide

[andrew-farries]

would it result in fewer changes to rename the license files instead?

[meysholdt]

would it result in fewer changes to rename the license files instead?

Certainly :)

With that being said, the reasons for this change are:

• MIT and AGPL become consistent with License.enterprise.txt. There, we've been using . as a separator since the beginning.
• I remember some contracts that we signed that reference license files in this repo. It would be nice not to break those references by renaming the license files.

[easyCZ]

Moving to draft as this PR requires a rebase and isn't actionable in the current state. Feel free to move back into review if you believe it should remain in review.

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.