Add --time-t-size option to print the size of time_t in bits#1147