Bug fixes and quality

1. Bug fix: the kernel language was used instead of the kernel name

2. Refactor kernel manager/client management and fix kernel client leak

   Each time a new exercise was displayed:

   • The previous kernel client was not shut down
   • A spurious additional kernel client was accidently created

3. mypy static checking: configuration and fixes

4. Black