Update ADS

Description

Update ADS to the current commit 8da0713bf0d964f0c5b62e87a8aa61bcae3fa212 which has a couple of fixes since the last update, especially the fix for deleted floating dock widgets #864 (closed).

Looks like the relevant fixes for #864 (closed) are https://github.com/githubuser0xFFFF/Qt-Advanced-Docking-System/issues/597 https://github.com/githubuser0xFFFF/Qt-Advanced-Docking-System/issues/594

Conformity

• Changelog entry
• Unit tests
• Update INSTALL
• Downport
• Fixes: #864 (closed)

When external dependencies are removed

• Reporting to ...