updating rbftest.cc with new struct info
updating IndexManager to inherit from RecordBasedCoreManager (doesn't actually do anything yet)