texstudio: bump version