Implement Clone and Debug for TwoSat #149
Description
Implement the Clone and Debug traits for TwoSat.
Note that this requires implementing Clone and Debug for internal_scc::SccGraph #147 .
The Clone trait can be derived.
For the Debug trait, discussion is needed regarding the output format.
I think deriving it is sufficient.