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)
fix(realpaver/rp_interval): fix bug in atan2 case (2)