Added unsat proof capability to Sat4j
More and more applications require a certified unsat answer. The SAT competition 2013 has a certified unsat track. A simple proof format for SAT solver developers is the Reverse Unit Propagation format (RUP).
Such proof format can easily be added to the library as a specific SearchListener.