Use gawk for adding timestamps to openconnect logs

Ubuntu uses mawk by default and mawk doesn't offer strftime.
Also change timestamp format to be ISO8601 to better match the format
used elsewhere (syslog for example).