GitLab

This CL adds two badges, mutually exclusives, to the tools menu items.
Those badge can have text or number.

Bug: 826304
Cq-Include-Trybots: master.tryserver.chromium.mac:ios-simulator-cronet;master.tryserver.chromium.mac:ios-simulator-full-configs
Change-Id: I497c3332f12be2cd4869ab9857959ac87cfa81e4
Reviewed-on: https://chromium-review.googlesource.com/987894Reviewed-by: Rohit Rao <rohitrao@chromium.org>
Commit-Queue: Gauthier Ambard <gambard@chromium.org>
Cr-Commit-Position: refs/heads/master@{#547723}