Update to Qt 5.15

Qt 5.15 is out (by the way: This is the very last release of the Qt 5 series!). We should update to this release where possible (probably not easy for the Windows release at the moment, but other platforms should be doable).