Change the Semantika Core version number.