Update dependency com.jetbrains:mps to v2024.1.3

Author: renovate[bot]

build.gradle

@@ -14,7 +14,7 @@ ext.defaultReleaseRepository = 'https://artifacts.itemis.cloud/repository/maven-
 
 //MPS version
 ext.mpsMajor = "2024.1"
-ext.mpsBuild = "2024.1.2"
+ext.mpsBuild = "2024.1.3"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = findNonEmptyProperty('mpsExtensionsVersion') ?: "$mpsMajor.+"