Direct encoding must currently be enabled for testing SAT encoding of Table.
Tests for reification of And and Or.

SAT encoding of And and Or reification is broken under the order encoding, but works for other encodings. Fix to come next.
Fix for SAT encoding of reified And under order encoding.
Tests for reification of Or.
Fix for SAT encoding of reified Or under order encoding.
Minor readme improvments.
Simplify Gurobi install.

Attempts to find path to Gurobi's install location automatically and sets the linking and compile flags accordingly.