File name generation for HMC sensor

[crowbar27]

Create a better 8.3 file name for the device log that captures more bits of the timestamp than the current one. Possibly switch to base64. Ideally, create a name that is lexicographically sorted according to time.