Renames CI's header-check to src-check

Since the script tests more than header files, it did not make much
sense for it to keep its original name.
Clean up