added functionality to specify which time manager to use via the command line.