example.ini: Change ping interval to 45 seconds
example.ini: Change ping interval to 45 seconds

This is the same number as we use in production. 45 seconds is chosen
because it gives us some wiggle room below Firefox's hard-coded 55
second ping interval. See:

https://bugzilla.mozilla.org/show_bug.cgi?id=855906

reddit/reddit-service-websockets