Turn InDetTimeCollection into std::vector
InDetTimeCollection is a collection that holds 64 bit pointers to 64 bit objects. Turning it into a std::vector should half memory usage, reduces allocations/deallocation, simplifies code and improves cache locality.
edit: I also fix what appears to be a memory leak in TRTRawDataProviderTool
Edited by Adam Edward Barton