Rename miscSolver -> MiscSolver

Makefile

@@ -64,7 +64,7 @@ minisat.cmxa: minisat.cmx minisat_stub.o
 	$(OCAMLOPT) -a -o minisat.cmxa minisat.cmx minisat_stub.o -cclib -lminisat
 
 COALG_OBJS := minisat$(SUFFIXLIB) \
-              genAndComp$(SUFFIX) miscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
+              genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
               ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
               CoAlgFormula$(SUFFIX) CoAlgMisc$(SUFFIX) CoAlgLogics$(SUFFIX) CoAlgReasoner$(SUFFIX)
 
@@ -75,7 +75,7 @@ coalgcompare: $(COALG_OBJS) coalgcompare$(SUFFIX)
 	$(OC) -o coalgcompare $(FLAGS) $(LIBS) $^
 
 
-ALC_OBJS := genAndComp$(SUFFIX) miscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
+ALC_OBJS := genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
             ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) \
             ALCTree$(SUFFIX) ALCGraph$(SUFFIX) ALCGraphStates$(SUFFIX)