Change the Semantika Core release number to 1.3