Some old changes to jhilbert integration

Not sure how complete.
Repurpose repository for ghilbert verifier.

Still could bring back some of the ruby scripting some day, but what was here of an implementation is probably not where we'd start.