sdist.sh: change from SVN to GIT and remove virtual machine parts
Update summarize_translations.* mainly for git