Add CodeQL workflow for GitHub code scanning#143

lgtm-com[bot] wants to merge 1 commit intoOpenCerts:masterOpenCerts/opencerts-documentation:masterfrom

lgtm-migrator:codeqllgtm-migrator/opencerts-documentation:codeqlCopy head branch name to clipboard