Cleaning up after Spectre and Meltdown: figuring out how badly they slowed down your servers