now uses topl as a library

This avoids code duplication.  More importantly, it avoids the
incompatible triad: ocamlbuild, ocamlyacc, menhir.
extract inheritance info from jimple