Add getModelUninterpretedValues

Counterpart of getModelUninterpretedValue for all-sat calls.