Add CodeQL workflow for GitHub code scanning#57

lgtm-com[bot] wants to merge 1 commit intopim-book:masterpim-book/programmers-introduction-to-mathematics:masterfrom

lgtm-migrator:codeqllgtm-migrator/programmers-introduction-to-mathematics:codeqlCopy head branch name to clipboard