Sync latest DEV_TOOLS

required to fix a memory leak
Merge branch 'master' of github.com:Grauniad/Profiler