text: Title: Customize profile filename
  Body: It would be nice to easily be able to customize the profile filename in the middleware https://github.com/joerick/pyinstrument/blob/4b37f8cdc531be41a7f7e57932f0b770244025d5/pyinstrument/middleware.py#L78