added custom CMakeLists.txt for metaSMT-cnf-solver
added custom CMakeLists.txt for metaSMT-cnf-solver

finnhaedicke/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT