Allow timestamp time to be customized at compile time via -DJDKSAVDECC_TIMESTAMP_TYPE, which defaults to uin64_t