Add gnulib files to support higher-resolution time stamps.