7.1.0 Release and students branches merge...

[Gilles Caulier]

Hi all,

We are near 7.1.0. This one will be a maintenance release with
improvements and a huge bugs triaging.

I plan to release 7.1.0 this weekend if AppImage build is restored.
Currently all is broken with a Qt 5.15 migration which does not work.
I revert all to Qt 5.14.2.

When 7.1.0 will be tagged, it will be time to merge student branches to master.

I propose to merge back Kartik branch, synchronise Nghia branch with
master, fix build, and merge back Nghia branch to master.

This plan is fine for you ?

Best regards

Gilles