Change time.rb to json_encoding.rb

This is for clarity to show that the timestamp format change is
happening at the serialization level.