Add CodeQL workflow for GitHub code scanning#1312

lgtm-com[bot] wants to merge 4 commits intosource-academy:mastersource-academy/js-slang:masterfrom

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