changed CXXFLAGS in configure to be accumulative and added some info to the help message
changed CXXFLAGS in configure to be accumulative and added some info to the help message

arminbiere/cadical,arminbiere/cadical,arminbiere/cadical