Convert http date to unix timestamp AWK function