added minisat paper
documented Iheap and added Iheap.clear
new interface for sat/Solver, without a Sat exception, nor save/restore. Wip on levels