texstudio: Version bump to 2.5.2.