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