int decode_date(string d)
Converts a database date-only spec to a system time value. d Date spec to decode.