GitHub: Add action to check file headers.

The check_header.sh script checks a given file for changes
made to its file header, i.e. @date and @version. For each
file that did not receive a proper update a warning message
is generated.