Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Bazel: Harmonize names of external repositories
  Update javamelody-core to 1.72.0
  Update bazlets to latest revision on stable-2.14

Change-Id: Ie9c097e0160b9c61340d4b4834b5c0ac02d9a18a