Shai: Supporting setting features and tuning parameters

[shonfeder]

We'll need some way of enabling/disabling features and tuning parameters etc.

The unified configuration system which is advancing via #1177 and #2024 and related provides a means of integrating configuration options from an arbitrary configuration source. We need only extend the gadgetry there to support derivation of an ApalacheConfig from some data supplied in the relevant RPCs.