Make binary recording memmap efficient III (Avoiding spikes by only reserving memory equal to the trace)

[h-mayorquin]

This is a follow up from #1742, it only allocates opens a memmap pointing to the specific trace and not to the whole file.