GitLab

By shortening "Developer Tools" to "DevTools", we make it easier for a
user to distinguish multiple instances in the Windows task bar, and
better align to DevTools branding.

Bug: 729910
Change-Id: I961cdd9890ca3569d67cf6ed98697f5dbed79086
Reviewed-on: https://chromium-review.googlesource.com/949781Reviewed-by: Dmitry Gozman <dgozman@chromium.org>
Commit-Queue: Eric Lawrence <elawrence@chromium.org>
Cr-Commit-Position: refs/heads/master@{#547813}