Profile-Guided Optimization of Cold Starts in Serverless Applications with ColdSpy