adding the tracking of acquire and release operations to the LegionSpy tool
fixing a bug of using wrong ghost regions in the full ghost example