fix(realpaver/rp_interval): add more log
fix(opensmt/smtsolvers/CoreSMTSolver): add prefix for logs
fix(realpaver/rp_projection): fix rp_project_sin_fst and rp_project_tan_fst

closes #36.