initial commit of HypergraphDB mirror, reversion 2895
Merge https://github.com/ib84/HypergraphDB-Mirror