feat(realpaver/rp_interval): add extended mode fp computation
feat(filib/j_log.c): change j_log([0, a]) to return [-oo, log(x)]
feat(filib): remove overflow from q_exp
chore(cmake): use borel(CMU) CDash server instead of cmacslab2 server
test(nra): add more tests
feat(filib/j_tan): use extended-mode in tan
fix(realpaver/rp_expression_symbol): check derivable before use it
fix(realpaver/rp_interval): fix bug in atan2 case (2)
doc(README.md): update CDash URL

[skip ci]
test(nra_ode): add nra_ode test
refactor(icp_solver): remove debug messages