Added more information in the README files. Modified interval_sqrt in interval_arith to compute better approximations of sqrt