Implement reusable trail
Reusable trail is proven to be efficient (used in Lingeling and Knuth SAT13 CDCL solver). In order to implement future improvements in Sat4j, implementing such feature becomes mandatory. All details are available here: http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_11_vanderTak.pdf