Openvario-shell

------------------

- Nothing changed yet.

------------------

- Compatibility with recent mypy (source code validator).

------------------

- Correct screen rotation setting.

------------------

- XCSoar app: adapt to new openvario image.

------------------

- Connman app: do not try to scan powered-off devices.

------------------

- Better support screens with rounded corners (add some padding to the top bar)
- Fix various traceback crashes in connman app