Add a patched version of deploy.ini.in to get a configuration with profiler enabled. Docs for profiling to come.