Add CodeQL workflow for GitHub code scanning#793

lgtm-com[bot] wants to merge 1 commit intofimbullinter:masterfimbullinter/wotan:masterfrom

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