added toml processing capability (#2369)

Following changes are provided:

* a parameter set is added to the command line arguments to input toml file name and profile
* parse_toml_args function reads all the options available in the toml file provided, taking into account the provided profile name
* get_option_string_destinationfunction collects the mathing option string according to the provided key in toml file by utilizing the newly added from_option_string method in *Options classes.
* some methods and classes are moved to the pyk.clipackage to provide better testability
* unit tests and test harness added for toml input sanity tests
* required modifications made on code regarding the new functionality and the ones that ar moved to another package.
* pyk's `parse_toml_args` function is re-used
* type setting capability for the argument values provided from toml files is added together with related tests in this context
* added typed checking support for toml list inputs

---------

Co-authored-by: Tolga Ovatman <[email protected]>
Co-authored-by: devops <[email protected]>

Author: ovatman

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.559"
+version = "1.0.560"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

kevm-pyk/src/kevm_pyk/__init__.py

@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.559'
+VERSION: Final = '1.0.560'