Rename TwoSAT.cpp to TwoSAT.cc