include server time (as timestamp) in visitor actions (visitor live API)

Events in the returned JSON/XML only have a field "serverTimePretty" but no locale-independent time field (e.g. Unix epoch, iso9660, ...). I don't see a reason why the API does not contain the date/time in such a format.

Please note I'm not a PHP developer and this was only tested lightly.