Add new configure option, --disable-timestamps, intended to turn off anything which...