Sync latest DEV_TOOLS

Provides terminal search improvements
Highligh expensive lines in source annotation

The source annotation feature now highlights lines which
are taking a large % of the instructions.

By defaul this is 25%, but the annotate command now takes
an optional argument to change this
Merge branch 'master' of github.com:Grauniad/Profiler