Added toplSpecs.ml and .mli.
Small change to jstar.ml so as to involve it.
Merge branch 'alt-abd' of github.com:seplogic/jstar into alt-abd