json_listener: added timestamp and simplified output