Merge pull request #74 from finnhaedicke/namespace_minisat

moved Minisat namespace into CVC4

diff --cc src/proof/proof_manager.h
Simple merge

diff --cc src/prop/minisat/core/Solver.cc
Simple merge

diff --cc src/prop/minisat/core/SolverTypes.h
Simple merge

diff --cc src/prop/minisat/mtl/Map.h
Simple merge