tests(nra_ode): add fedor_01 and fedor_02
fix(src/CMakeLists.txt): add deps between GLOG and GFLAGS
fix(dsolvers/ode_solver): extract mode invariant

In case we have multiple invariants on a variable, we join the
constraints. Previously, we just take the latest one in the stack.

Closes #49.
fix(src/CMakeLists.txt): suppress warnings from capd and glog
tests(nra_ode): add expected results for fedor_01 and fedor_02
fix(src/CMakeLists.txt): suppress warnings from libunwind
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
feat(icp_solver): Fixed bug in SAT heuristic and created new variable selection for ICP
fix(style)
fix(tools): added base case for relevance analysis