lint: Add shell script linting and copyright checking

[willieyz]

Originally posted by @mkannwischer in #413 (review)

• During the Improve UX of cbmc scripts, lint, autogen, format (align with mlkem-native) #413, we identified the following gaps compared to mlkem-native:
• add shell linting part in lint.
• add copyright checking part in lint.