Removing using std::namespace and cleaning up main.cpp
One less 'using namespace std'
One less 'using namespace std'
One less 'using namespace std'
Remove a debug line
Refactoring main
Refactoring main -- printing
Refactoring main.cpp -- use static variables to ease passing arguments
Remove useless comment
Re-doing all of the option parsing

It's much cleaner and more extensible now
Adding option to control cryptominisat's Gauss depth
Adding extra line break to help message
Fixing one letter-options
Always check for long option
OOps, the same option was present twice
Version option should not have '-v' as abbreviation

The '-v' option is used for something else
Forgot to give long option names for these
Removing superfluous space
Counterexample construction is ON by default

This option would make it OFF by default, which is wrong
Output printing option was missing