Refactoring: parameter name args renamed
Added support for arbitrary solver options
Added section Real Number Solving, and added examples with Gecode and
other options