Pike.get_runtime_info: Report the size of time_t too. Adds the entry "time_size" to the result from Pike.get_runtime_info().