removing obsolete Db_eager_solver module
.gitignore entry for emacs files
alternate implementation of local theories with SCIP bound disjunctions