Fix issues with dimacs and unit propagation
Cleanup code and removed unused fragments.
Decided to remove my implementation of unit propagation as it caused more problems and was not needed anymore.
Now there is only a solve and ground command.
with ground -t=0 a dimacs formula for SAT or QBF solvers is generated.