Fix a bug with the number of variable in the CNF output being off by one.
Work on ability to have fine grained control over which encoding is used for a model and at the expression level.

This is a work in progress, lots to do yet.
Add make debug option to SAT makefiles.
Progress on multiple encoding support.

Disequality encoder now supports direct, order, support.
Expression::get_min and get_max adjusted for when only the order encoding used.
Model.load can take an encoding parameter.
Expression == constant now supports only order encoding.
Remove a +1 on SAT variable ID in displayClause().

Don't know what the original reason for this was? It doesn't line up with the SAT variable IDs with this.
Merge branch 'refs/heads/master' into SATEncodingConfig
Multi encoding support for equality predicate.
Support for just order encoding in SatWrapper_Expression::get_size().
Modified precedenceEncoder (expression and predicate) for direct and support encoding. <, <=, >, >= now support direct, support and order encoding.
Fix the possibility of going into an infinite loop when SatWrapper_Expression::next() was called without using the order encoding.
Remove some forgotten debug printing.
Equality and disquality expression and predicates for direct, order and support encoding.
Add -g to the debug option in the SAT makefiles
additionEncoder X + Y = Z now supports both direct & order encodings.
Remove some debugging output.
Support for <, <=, >, >= to constant with just direct and support encoding.
Support for only direct and or order encoding encoding with Maximise and Minimise constraints with MiniSat.
Off by one for one set of clauses of support encoding in precedenceEncoder.
Off by one in MiniSat minimise for the direct encoding.
Add encoding configurations to the SAT encoding tests.