Date parsing extensions for the JavaScript JSON parser to provide real dates from JSON.parse()