Scripts for crowdin integration
fix #3080: remove unwanted summary change for OC.de activation
Merge remote-tracking branch 'koem/crowdin_integration' into upstream
Do not switch branch automatically

Not everyone uses the "master" name for the branch or the "upstream"
name for the github remote. Since this script will be run manually when
new strings are added, it should not mess with the git content
automatically.
Update French and Portuguese translations
Missing translation for #3040
Fixes #2996, Compass TTS: Wrong direction in "GPS only" mode
refactoring: make formatter work without context
refactoring: move DB backup into new utils class
Merge pull request #3084 from rsudev/issue2996

Fixes #2996, Compass TTS: Wrong direction in "GPS only" mode
fix #3083: have explanation at the navigation menu settings
fix #3087: GCC pro was not recognized
fix #3089: add license in about dialog
fix #3086: set correct map source on settings change