Fix inclusion of toku_config in toku_time.h to work when used by db.h in
external projects (such as TokuMX)