Use EventLogging; add configurable sampling

Adds configuration variable, $wgNavigationTimingSamplingFactor. When
set, one in that many requests will get logged.

The measurements are documented on the schema, at:
https://meta.wikimedia.org/wiki/Schema:NavigationTiming

Change-Id: I0d180e534fc318c8e7dbfe8f48f826029632f34b