DevTools: rename script_formatter_worker into formatter_worker
There are two reasons to rename the worker:
- The formatting worker formats all kinds of formats.
- There's a confustion between JavaScriptFormatter.js and
ScriptFormatterWorker.js
The patch also splits out FormattedContentBuilder into its own file.
BUG=none
R=dgozman, pfeldman
Committed:
https://crrev.com/6144890b6e847d144ca7b719c30e25c7804e45a7
Cr-Commit-Position: refs/heads/master@{#381623}