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.
Merge pull request #10 from Stanford-Online/sef/pingdom-rum

enable Pingdom RUM