OpenSMT2 Options Ambiguity

[baierd]

The names of options in OpenSMT2 are often ambiguous, as they don't include details about their specific use-case. All options in OpenSMT2 should be looked at and updated to be less ambiguous.

For example interpolation options look like this:

# Algorithm for boolean interpolation
solver.opensmt.algBool = MCMILLAN

Since there are multiple options for interpolation in OpenSMT2, i would propose something like this: solver.opensmt.interpolation.booleanAlgortihm

[daniel-raffler]

I've added the prefix and a new option to set the "strength" factor for LRA interpolation

Documentation about what the algorithms actually is pretty sparse, but some details can be found here. Should we just link to the site in our own documentation?