Add PuppetDB sync metrics

This patch adds metrics from the puppetlabs.puppetdb.ha JMX namespace to the
default list of additional metrics collected from PuppeDB for PE 2016.4 and
later.

manifests/puppetdb.pp

@@ -140,10 +140,32 @@
       'url'  => 'puppetlabs.puppetdb.database:name=PDBWritePool.pool.Wait' },
   ]
 
+  $ha_sync_metrics = [
+    { 'name' => 'puppetdb_ha_last-sync-succeeded',
+      'url'  => 'puppetlabs.puppetdb.ha:name=last-sync-succeeded' },
+    { 'name' => 'puppetdb_ha_seconds-since-last-successful-sync',
+      'url'  => 'puppetlabs.puppetdb.ha:name=seconds-since-last-successful-sync' },
+    { 'name' => 'puppetdb_ha_failed-request-counter',
+      'url'  => 'puppetlabs.puppetdb.ha:name=failed-request-counter' },
+    { 'name' => 'puppetdb_ha_sync-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=sync-duration' },
+    { 'name' => 'puppetdb_ha_catalogs-sync-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=catalogs-sync-duration' },
+    { 'name' => 'puppetdb_ha_reports-sync-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=reports-sync-duration' },
+    { 'name' => 'puppetdb_ha_factsets-sync-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=factsets-sync-duration' },
+    { 'name' => 'puppetdb_ha_nodes-sync-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=nodes-sync-duration' },
+    { 'name' => 'puppetdb_ha_record-transfer-duration',
+      'url'  => 'puppetlabs.puppetdb.ha:name=record-transfer-duration' },
+  ]
+
   $additional_metrics = $::pe_server_version ? {
-    /^2015./ => $activemq_metrics,
-    /^2016./ => $activemq_metrics + $base_metrics + $storage_metrics + $connection_pool_metrics + $version_specific_metrics,
-    default  => $base_metrics + $storage_metrics + $connection_pool_metrics + $version_specific_metrics,
+    /^2015\./ => $activemq_metrics,
+    /^2016\.[45]\./ => $activemq_metrics + $base_metrics + $storage_metrics + $connection_pool_metrics + $version_specific_metrics + $ha_sync_metrics,
+    /^2016\./ => $activemq_metrics + $base_metrics + $storage_metrics + $connection_pool_metrics + $version_specific_metrics,
+    default  => $base_metrics + $storage_metrics + $connection_pool_metrics + $version_specific_metrics + $ha_sync_metrics,
   }
 
   $_ssl = $hosts ? {