Final(?) updates

1) Fixed bug with translation from boolean variable to unique integer.
2) Added  "optimized" clause generation for comparison to the original
2D and 3D encodings.
3) Wrote shell scripts to make obtaining outputs easier.