linear_set: new simplifier and some refactoring
unique_vec_map: initial work on better sparse vectors
semilinear: migrate to improved SparseVec
pseudo_linear: new experimental abstract domain
pseudo_linear: minor improvements
linear_set: move simplifiers to sparse_vec.h
pseudo_linear: add conversion from SemilinearSet
unique_vector_map: delete wrong assertion
sparse_vec: generalize to any counter type
polynomial: add ability to change the underlying SR
pseudo_linear: implement simplification
sparse_vec: fix a few bugs
semilinear: implement better simplification
polynomial: fix a bug in Polynomial::Map
semilinear: some cleanup
debug_output: use __FUNCTION__ instead of __FILE__
sparse_vec: cleanup
linear_set: delete the sets once they're unneeded
debug_output: better output
pseudo_linear: cleanup