Add copyright checking and shell lint to lint

[willieyz]

• Resolves add shell liting and copyright checking in lint #423
• This PR add the copyright checking and shell lint to lint, also align the color format and syntax with mlkem-native

[hanno-becker]

Thanks @willieyz! Something is not yet working correctly, because in fact not all source files have the Apache-2.0 OR MIT OR ISC license -- see e.g. https://github.com/pq-code-package/mldsa-native/blob/main/mldsa/native/aarch64/src/ntt.S. Somehow the script does not seem to catch this.

[hanno-becker]

This needs to be mldsa, not mlkem.

[willieyz]

Hello, @hanno-becker,
Thank you for your reviewing, and apologies for my careless mistake...
After correcting it to use mldsa instead of mlkem, the script correctly catch the SPDX + Copyright headers error,
see following link:
https://github.com/pq-code-package/mldsa-native/actions/runs/17578845391/job/49930280691?pr=424
I have a question, for these two file(intt.S, ntt.S),
Should I update them to use Apache-2.0 OR ISC OR MIT as the script requires, instead of only MIT(same as mlkem-native), or should I modify the script so that it passes if only one of the licenses is present?

[mkannwischer]

You cannot just change licenses of code without asking the copyright owners - so that is not an option.

Let's temporarily whitelist these two files and add a TODO in the script it needs to be removed once licenses have been sorted out as a part of #381.