refactor(src/opensmt/smtsolvers/CoreSMTSolver.C): fixed style

chore(CMakeLists.txt): bump to version 3.15.04.2

fix(src/CMakeLists.txt): put libdreal in the front

chore(CMakeLists.txt): bump version to 3.15.03

fix(tests/nra/test.sh): use .option file

fix(CMakeLists.txt): external lib link order problem

fix(util/contractor): use m_prec instead of prec in ibex contractor