Add CodeQL workflow for GitHub code scanning#585

lgtm-com[bot] wants to merge 1 commit intoSmileiPIC:masterSmileiPIC/Smilei:masterfrom

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