Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade bazlets to latest stable-2.15 to build with 2.15.18 API
  Upgrade javamelody-core to 1.80.0
  Upgrade bazlets to latest stable-2.15
  Upgrade bazlets to latest stable-2.14
  Bazel: Migrate workspace status script to python

Change-Id: I19ee5a453f1675dc30988a32c6def3a74bbd2cf6