Adding Apurv Singh's changes

The conversion of timestamps from Halo to LEEF format wasn't working
due to unexpected string lengths. This should handle any number of
fractional second digits (from 3 to 6)