Android: Rename DAVdroid to DAVx⁵ (DAVdroid) in settings screen

[AndyScherzinger]

DAVdroid got renamed due to naming issue with Android and is now called DAVx⁵.
So at some point we should also do this change. Question is:

• do it know right before the 3.5.0 release (will remove all existing translations we have for it today).
• do it right after the 3.5.0 stable release while that means it'll take another 2+ month until this changes is publishes
• do it after we created the table branch and manually do this change to the stable branch?

What do you think @tobiasKaminsky ?

[nextcloud-android-bot]

GitMate.io thinks possibly related issues are https://github.com/nextcloud/android/issues/266 (Import DavDroid settings), https://github.com/nextcloud/android/pull/3303 (Sets the cursor colour on the passcode screen to grey.), https://github.com/nextcloud/android/issues/173 (Renaming in Preferences), https://github.com/nextcloud/android/issues/3076 (3.3.0RC3 Settings: setup DAVdroid Intent doesn't pass URL), and https://github.com/nextcloud/android/issues/50 (What's new screen).

[nickvergessen]

I vote for asap, because people get confused.

[AndyScherzinger]

I also vote for asap while I'd go for "DAVx⁵ (DAVdroid)" for now to not confused anybody.

[tobiasKaminsky]

Yes, do it now, also with (DavDroid) and in version after next one (~6 months), we can remove this transition name.

[AndyScherzinger]

DONE: #3504

[pjrobertson]

Just thought I'd head over here and say I think you guys made the right decision doing this ASAP. I was already confused with the precious wording, but after the 3.5.0 upgrade it's much clearer.

Thanks for all the hard word, from a happy user!