Added documentation on solver preferences.

This explains the different options available to orient the external solver's search strategy, with concrete examples of usage.