Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade javamelody-core to 1.76.0
  Upgrade bazlets to latest stable-2.15 to build with 2.15.9 API
  Upgrade bazlets to latest stable-2.15 to build with 2.15.8 API
  Upgrade bazlets to latest stable-2.14 to build with 2.14.18 API
  MonitoringTopMenu: Prepend path to the top menu item

Change-Id: I07eabdfc7e66a16e867f019ce25c818bdc4a2ecb