Change format-check to not check lecture files

It is unavoidable that Haskell files from lecture (names start with src/S...) will violate formatting or lint advice.

I suggest format-check.sh should not check those files. So when people who push their (correctly formatted) works to their local forks, the pipeline won't fail and send email to us.

I hope that is the intended purpose of format-check.sh.