Replace `ini` file with a modern interface file

[200km]

Overview

Replace ini file with a modern interface file.

Details

ini file is not popular. We need to replace it with a modern format.

Conditions for close

• Decide the next format
• Add an example
• Replace all ini files

Supplement

Related issue https://github.com/ut-issl/s2e-core/issues/81

Note

NA

[200km]

@sksat iniを置き換えるとしたら、jsonが有力候補なんでしょうか？他に良さそうなものはありますか？

[sksat]

単純なiniの置き換えだとtomlかなーという気持ちです．C++向けならいいかんじのライブラリもあります． https://github.com/ToruNiina/toml11