Polish CodeQL integration:
- Fix C++ warnings.
- _Ignore_ current Python warnings:
  - `tsplot` is not processing html
  - `json/.../serve.py` is not ours
- Add a status badge to README
- Bump GH Actions as required.
- Black was unhappy about our new type stubs?!