Scripts for crowdin integration
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