Include license header check in Jenkins build

If we don't automatically/regularly check it, we'll forget to add license headers.