FrogConfig module in the library, to parse toml files
wip: frogtptp tool, to run TPTP provers and analyse their output