Add garbage collection for learned clauses Add tests to festival_scheduler.rs and master_key.rs Refactor solver to a lib crate and use this in the other solvers