fix(dsolvers/icp_solver): add missing build_explanation
fix(dsolvers/icp_solver): use a mapping between Enode* and rp_constraint

close #50
feat(CMakeLists.txt): fix add_custom_command for bison/flex to be compatible with cmake-3.0

CMP0050
-------

Disallow add_custom_command SOURCE signatures.

CMake 2.8.12 and lower allowed a signature for ``add_custom_command()``
which specified an input to a command.  This was undocumented behavior.
Modern use of CMake associates custom commands with their output, rather
than their input.

The OLD behavior for this policy is to allow the use of
``add_custom_command()`` SOURCE signatures.  The NEW behavior for this
policy is to issue an error if such a signature is used.

This policy was introduced in CMake version 3.0.
CMake version 3.0.0 warns when the policy is not set and uses
OLD behavior.  Use the cmake_policy command to set it to OLD or
NEW explicitly.
refactor(dsolvers/icp_solver): remove m_sol & m_ep
refactor(dsolver/icp_solver): clean up code
refactor(dsolvers/nra_solver.cpp): clean up code
fix(dsolver/icp_solver): remove feasibility check in solver() since it's done in rp_propagator already
feat(realpaver/rp_operator*): mark ctrs used in rp_sat_hull_* and rp_newton
refactor(realpaver/rp_constraint): mark rp_ctr_num_*_inner if it generates an empty interval
fix(dsolvers/ode_solver): fix style (#include <algorithm>)
tests(nra): add more testcases for --delta, --delta_heuristic, and --short_sat options
tests(nra): add more testcases for --delta, --delta_heuristic, and --short_sat options