JSON-decoded events now have correct timestamps.

Millseconds are not seconds.
Use a set to filter services.
Merge pull request #385 from ulises/master

Use a set to filter services.