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
doc(ubuntu-*): add 'python-software-properties' in the required packages

It's for 'add-apt-repository'.
doc(ubuntu-*): remove eglibc warning

We're using filib++ to evaluate elementary functions, instead of using
the ones in C math library (such as EGLIBC).