Moved total_obs_time to its own little program instead of within obs_epoch_rxte.