Feature: Clingo search options in json config

This PR adds the functionality to add clingo configuration settings in the json config files. This enables the declaration of multiple search operators with different settings, like for example, search strategy.