A few small tweaks: - Simplify makefile - Cancel in-progress CI jobs when new commits are pushed to a non-main branch - Drop manual codeql config now that GitHub supports automagical configuration
