Add CodeQL workflow for GitHub code scanning#10

lgtm-com[bot] wants to merge 1 commit intocisocrgroup:mastercisocrgroup/ocrd-postcorrection:masterfrom

lgtm-migrator:codeqllgtm-migrator/ocrd-postcorrection:codeqlCopy head branch name to clipboard