New implementation of proof search via iterative deepening (co-developed with Radu).
Still needs a list of rules and a penalty function in order to work...
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd