[release] version bump to 13.1 final
[lang] update of internal addon language files
[lang] update of core language files
[lang] update of skin.confluence language files
Merge pull request #4793 from MartijnKaijser/13.1

13.1
Merge tag '13.1-Gotham' into Gotham.Korean