json encode datetime as iso8601 string when returned in REST body.