Implement mktime() function for compatibility with mawk and gawk.

This is the only missing time function compared to those two implementations.