Added a different kind of JSON loader, which led to improvements in the interface.

* Default app/server name is no longer fixed as 'main'; may be set by the config loader
* Config loaders are required to either implement app_config/server_config/filter_config or provide a transformation to the INI-file structure