Move shell script linting into a separate make target

• Makefile:

  Move shellcheck to a lint target and change check so that it runs lint. This provides a more finer grained control and allows to extend check with things beyond just linting.

• .gitlab-ci.yml:

  Run make lint in the lint job.