Allow manticore to keep an external cache of unsat formulas

[gustavo-grieco]

Explore the possibility of creating a database of hashes of SMT formula that are false. These do not require to save any model, so they can be easily replayed during symbolic exploration. However, it is unclear if solvers spend too much time on these (preliminary results indicate that these are fast to find).