enable Pingdom RUM

Pingdom has a new real-user monitoring (RUM) service.  Enable sending
perf stats (non PII) from *all* pages to Pingdom's service, much like
we already do with Google Analytics.