Bugfix: counters for boomerang are not casted to int

When processing boomerang data, views.process_summaries fails, as
variables in "keys" dictionary are unicode objects. All values should be
timestamps from navigation timing, so casting is safe.